Merge pull request #3622 from JuliaReach/schillic/linter

Add namespaces for linter warnings
JuliaReach · Jul 26, 2024 · 39176b2 · 39176b2
2 parents 5706167 + e889cfb
commit 39176b2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/Initialization/init_SymEngine.jl b/src/Initialization/init_SymEngine.jl
@@ -33,7 +33,7 @@ false
 ```
 """
 function _is_linearcombination(L::Basic)
-    return all(isempty.(free_symbols.(diff.(L, free_symbols(L)))))
+    return all(isempty.(free_symbols.(diff.(L, SymEngine.free_symbols(L)))))
 end
 
 _is_linearcombination(L::Expr) = _is_linearcombination(convert(Basic, L))

diff --git a/src/Interfaces/AbstractPolyhedron_functions.jl b/src/Interfaces/AbstractPolyhedron_functions.jl
@@ -657,7 +657,7 @@ function _linear_map_vrep(M::AbstractMatrix, P::AbstractPolyhedron,
     if isnothing(backend)
         backend = default_polyhedra_backend(P)
     end
-    P = tovrep(P_hpoly; backend=backend)
+    P = HPolyhedronModule.tovrep(P_hpoly; backend=backend)
     return _linear_map_vrep(M, P, algo; apply_convex_hull=apply_convex_hull)
 end