Merge pull request #3658 from JuliaReach/schillic/vpolygon

Check dimensionality in `VPolygon` constructor

Author: schillic

src/Sets/VPolygon/VPolygon.jl

@@ -56,6 +56,7 @@ struct VPolygon{N,VN<:AbstractVector{N}} <: AbstractPolygon{N}
     function VPolygon(vertices::Vector{VN};
                       apply_convex_hull::Bool=true,
                       algorithm::String="monotone_chain") where {N,VN<:AbstractVector{N}}
+        @assert all(v -> length(v) == 2, vertices)
         if apply_convex_hull
             vertices = convex_hull(vertices; algorithm=algorithm)
         end

test/Sets/Polygon.jl

@@ -52,6 +52,9 @@ for N in [Float64, Float32, Rational{Int}]
           constraints_list(HPolygonOpt(A, b)) ==
           [HalfSpace(N[2, 0], N(-1)), HalfSpace(N[1, 3], N(1))]
 
+    # constructor for V-rep
+    @test_throws AssertionError VPolygon([N[0, 0], N[1]])
+
     # conversion to optimized polygon
     po = convert(HPolygonOpt, p)
     # conversion back