diff --git a/src/ConcreteOperations/convex_hull.jl b/src/ConcreteOperations/convex_hull.jl
index 56a3e1ad08..c10c434f1d 100644
--- a/src/ConcreteOperations/convex_hull.jl
+++ b/src/ConcreteOperations/convex_hull.jl
@@ -373,7 +373,7 @@ function _convex_hull_nd!(points::Vector{VN};
                           backend=nothing,
                           solver=nothing) where {N,VN<:AbstractVector{N}}
     V = VPolytope(points)
-    Vch = remove_redundant_vertices(V; backend=backend, solver=solver)
+    Vch = VPolytopeModule.remove_redundant_vertices(V; backend=backend, solver=solver)
     m = length(Vch.vertices)
     points[1:m] = Vch.vertices
     return resize!(points, m)
diff --git a/src/MatrixSets/MatrixZonotope.jl b/src/MatrixSets/MatrixZonotope.jl
index e7bf68cae1..e6cdf2c592 100644
--- a/src/MatrixSets/MatrixZonotope.jl
+++ b/src/MatrixSets/MatrixZonotope.jl
@@ -27,7 +27,7 @@ See Prop. 1 in [1].
 
 [1] Luo, Ertai, Niklas Kochdumper, and Stanley Bak. "Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes." Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control. 2023.
 """=#
-function linear_map(MZ::MatrixZonotope, P::SimpleSparsePolynomialZonotope)
+function LazySets.linear_map(MZ::MatrixZonotope, P::SimpleSparsePolynomialZonotope)
     A0 = MZ.A0
     Ai = MZ.Ai
     @assert size(A0, 2) == dim(P)
diff --git a/src/Sets/HPolygon/HPolygonModule.jl b/src/Sets/HPolygon/HPolygonModule.jl
index 18754f3a42..2748082288 100644
--- a/src/Sets/HPolygon/HPolygonModule.jl
+++ b/src/Sets/HPolygon/HPolygonModule.jl
@@ -3,7 +3,8 @@ module HPolygonModule
 using Reexport
 
 using ..LazySets: AbstractHPolygon, BINARY_SEARCH_THRESHOLD, addconstraint!,
-                  binary_search_constraints, element, ⪯, _intersection_line2d
+                  binary_search_constraints, constraints_list, element,
+                  isbounded, ⪯, _intersection_line2d
 using ..LazySets.HalfSpaceModule: HalfSpace, _normal_Vector
 
 @reexport import ..API: isoperationtype, σ, translate
diff --git a/src/Sets/VPolygon/VPolygonModule.jl b/src/Sets/VPolygon/VPolygonModule.jl
index adaeb2616d..b48c465cbe 100644
--- a/src/Sets/VPolygon/VPolygonModule.jl
+++ b/src/Sets/VPolygon/VPolygonModule.jl
@@ -2,8 +2,8 @@ module VPolygonModule
 
 using Reexport, Requires
 
-using ..LazySets: AbstractPolygon, AbstractHPolygon, HPolygon, halfspace_left,
-                  is_right_turn, _area_vlist, _linear_map_vrep
+using ..LazySets: AbstractPolygon, AbstractHPolygon, HPolygon, convex_hull,
+                  halfspace_left, is_right_turn, _area_vlist, _linear_map_vrep
 using Random: AbstractRNG, GLOBAL_RNG, shuffle
 using ReachabilityBase.Arrays: isabove, rand_pos_neg_zerosum_vector
 using ReachabilityBase.Distribution: reseed!
diff --git a/src/convert.jl b/src/convert.jl
index 418d653323..9db69cd417 100644
--- a/src/convert.jl
+++ b/src/convert.jl
@@ -847,7 +847,7 @@ for T in subtypes(AbstractHPolygon, true)
         A polygon in constraint representation.
         """
         function convert(T::Type{$T}, P::VPolygon)
-            return tohrep(P, T)
+            return VPolygonModule.tohrep(P, T)
         end
 
         """