v2.2.0

LazySets v2.2.0

Diff since v2.1.1

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Luca Ferranti (@lucaferranti)

Breaking changes

• We redefined the semantics of AbstractCentrallySymmetric to be convex. (This is not breaking inside this library because there were no non-convex subtypes defined, but if an external package defined another subtype, this may be breaking.) (#3054)
• We renamed chebyshev_center to chebyshev_center_radius, which now always returns both the center and the radius. It is now also available for lazy polytopic sets. Furthermore, the radius for Intervals was fixed. (#3055)

Features

• Add remove_redundant_generators for SparsePolynomialZonotopes (#3043)
• Add underapproximate with a Ball2 (#3055)

Enhancements

• We replaced the optional dependency StaticArrays by the hard dependency StaticArraysCore. The switch is because StaticArraysCore is more lightweight. We made it a hard dependency because it prevented Revise from working. (#3045)
• Remove Pkg dependency (#3046)
• Use updated require function from ReachabilityBase and do not modify it (avoids conflicts with other packages) (#3049)
• Add more efficient extrema methods for AbstractCentrallySymmetric and AbstractCentrallySymmetricPolytope(#3048)
• Revise Ball1 code (#3050)
• Revise Ball2 code (#3051)
• Revise Ballp code (#3052)

Bug fixes

• Fix isconvextype to return true for ConvexSet and AbstractCentrallySymmetric; define a fallback implementation for LazySet as false; move some method documentations of ConvexSet to the right place (#3054)

---

Closed issues:

• Review SPZ remove_redundant_generators (compact) (#3029)

Merged pull requests:

• add remove_redundant_generators for SPZ (#3043) (@lucaferranti)
• Switch to StaticArraysCore and make it a direct dependency (#3045) (@schillic)
• Remove Pkg dependency (#3046) (@schillic)
• Add extrema for AbstractCentrallySymmetric(Polytope) (#3048) (@schillic)
• Use updated require function from ReachabilityBase (#3049) (@schillic)
• Revise Ball1 code (#3050) (@schillic)
• Revise Ball2 code (#3051) (@schillic)
• Revise Ballp code (#3052) (@schillic)
• Fix isconvextype (#3054) (@schillic)
• underapproximate with a Ball2 (#3055) (@schillic)