From e889cfbb911585d2d578d177b4d6e95810ac0a7e Mon Sep 17 00:00:00 2001
From: schillic <git@christianschilling.net>
Date: Fri, 26 Jul 2024 15:52:53 +0200
Subject: [PATCH] add namespaces for linter warnings

---
 src/Initialization/init_SymEngine.jl           | 2 +-
 src/Interfaces/AbstractPolyhedron_functions.jl | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Initialization/init_SymEngine.jl b/src/Initialization/init_SymEngine.jl
index 700dbd0ff8..3485773471 100644
--- 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
index 6f89102aea..07b4fa4ed5 100644
--- 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