turn VPolytope constructor from VRep to convert method

docs/src/lib/sets/VPolytope.md

@@ -13,6 +13,9 @@ VPolytope
 ```@docs
 convert(::Type{VPolytope}, ::LazySet)
 ```
+```julia
+convert(::Type{VPolytope}, ::Polyhedra.VRep)
+```
 
 ## Operations
 

src/Sets/VPolytope/VPolytope.jl

@@ -58,15 +58,3 @@ function VPolytope(vertices_matrix::MT) where {N,MT<:AbstractMatrix{N}}
     vertices = [vertices_matrix[:, j] for j in axes(vertices_matrix, 2)]
     return VPolytope(vertices)
 end
-
-function load_Polyhedra_VPolytope()
-    return quote
-        using .Polyhedra: VRep
-
-        # VPolytope from a VRep
-        function VPolytope(P::VRep)
-            vertices = collect(Polyhedra.points(P))
-            return VPolytope(vertices)
-        end
-    end
-end  # load_Polyhedra_VPolytope

src/Sets/VPolytope/convert.jl

@@ -21,3 +21,15 @@ remove redundant vertices before constructing the polytope.
 function convert(::Type{VPolytope}, X::LazySet; prune::Bool=true)
     return VPolytope(vertices_list(X; prune=prune))
 end
+
+function load_Polyhedra_convert_VPolytope()
+    return quote
+        using .Polyhedra: VRep
+
+        # VPolytope from a VRep
+        function convert(::Type{VPolytope}, P::VRep)
+            vertices = collect(Polyhedra.points(P))
+            return VPolytope(vertices)
+        end
+    end
+end  # load_Polyhedra_convert_VPolytope

src/Sets/VPolytope/init_Polyhedra.jl

@@ -1,2 +1,2 @@
-eval(load_Polyhedra_VPolytope())
+eval(load_Polyhedra_convert_VPolytope())
 eval(load_Polyhedra_polyhedron())

test/Sets/Polytope.jl

@@ -253,9 +253,8 @@ for N in [Float64, Rational{Int}, Float32]
     @test_throws AssertionError extrema(p2, 1)
 
     if test_suite_polyhedra
-        V = VPolytope(polyhedron(p))
-
         # conversion to and from Polyhedra's VRep data structure
+        V = convert(VPolytope, polyhedron(p))
         vl = vertices_list(V)
         @test length(p.vertices) == length(vl) && vl ⊆ p.vertices