v2.1.0

LazySets v2.1.0

Diff since v2.0.0

Announcements

Contributors for this release:

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

Breaking changes

• Rename genmat and ngens methods for sparse polynomial zonotopes (#3035)

Features

• Add underapproximate of a polygon with a box of maximum area (#3011)
• Add project for UnionSetArray (#3026)
• Add exact_sum for SparsePolynomialZonotopes (#3025)

Enhancements

• Add missing convert to Interval and to/from IntervalArithmetic.Interval (#3024)
• Extend linear_map for polynomial zonotopes (#3036)

---

Closed issues:

• minor list (#215)
• Investigate performance regression in Reachability with LinearMap (#1054)
• Make PolynomialZonotope a LazySet (#1845)
• Make unions a LazySet (#1846)
• Make Complement a LazySet (#2407)
• Make AbstractStar a LazySet (#2553)
• Make multiplication with a scalar fall back to scale (#2609)
• Polytope underapproximation of connected union of boxes (#3000)
• Rename independent_genmat and dependent_genmat (#3031)

Merged pull requests:

• Underapproximation of polygon with box (#3011) (@schillic)
• Complete conversion to/from IA.Interval (#3024) (@schillic)
• added exact sum for sparse polynomial zonotopes (#3025) (@lucaferranti)
• project for UnionSetArray (#3026) (@schillic)
• rename genmat methods for spz (#3035) (@lucaferranti)
• update linear map for polynomial zonotopes (#3036) (@lucaferranti)