JuliaReach / LazySets.jl

Scalable symbolic-numeric set computations in Julia
https://juliareach.github.io/LazySets.jl/
Other
226 stars 32 forks source link

Add missing `convert` methods for `HPolytope`/`HPolyhedron` #3491

Closed schillic closed 3 months ago

schillic commented 3 months ago

The change in #3466 introduced a problem when there is no identity constructor for the constraints' vectors. This is for instance the case for SingleEntryVector. I am not sure we want this constructor, but this case should be caught earlier anyway with the new methods added here.