search

dionysos-dev / Dionysos.jl

MIT License
43 stars 16 forks source link

Update to LazySets v2 #171

Open blegat opened 2 years ago

blegat commented 2 years ago

Now Union and UnionSetArray subtype LazySet so this might simplify Dionysos with the issue we had with @adrienbanse

adrienbanse commented 2 years ago

We want to remove the (non-convex) union of convex sets from another convex set. Although some needed operations (at least UnionSetArray, Intersection and Complement) subtype LazySet, they now only take ConvexSet as argument and will thus not be able to handle non-convex sets.

Seems like non-convex sets are not supported yet although JuliaReach is actively working on it, see:

I propose to keep our implementation for now and extend it if needed

blegat commented 1 month ago

They now seem to support nonconvex sets so we should reconsider

schillic commented 3 weeks ago

On a separate note, LazySets now has submodules for all basic set types. I did not check what exactly you use, but for instance if all you need is the Ellipsoid, you could load LazySets.EllipsoidModule instead. That could reduce the name clashes (but most public API functions are still exported by each submodule, so it may not help).