v2.7.3

LazySets v2.7.3

Diff since v2.7.2

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Features

• Add complement methods for EmptySet and Universe (#3256)
• Add ngens methods for BallInf, Interval and LineSegment (#3255)
• Add reflect methods for EmptySet, Interval, ZeroSet, VPolytope and Universe (#3254)
• Add option to delaunay to get 2D Delaunay triangulation for 3D sets (#3260)
• Add new Tetrahedron set type (#3263)
• Membership check for Tetrahedron (#3267)

Enhancements

• Let generators of LineSegment return an iterator (#3257)
• Generalize exponential backend in symmetric_interval_hull methods (#3253)
• Remove unused AbstractStar interface (#3261)
• Add some simple methods for DensePolynomialZonotope (#3262)
• Let overapproximate of SimpleSparsePolynomialZonotope with a Zonotope always return a Zonotope (#3262)
• Add overapproximate method for DensePolynomialZonotope with a Zonotope (#3262)

Bug fixes

• Fix function error (raise -> throw) (#3252)

Internal changes

• Revise interface tests (#3264)
• Use short form IA of IntervalArithmetic consistently (#3265)
• Remove constructor lists from documentation (#3266)

---

Closed issues:

• Overapproximate polynomial zonotope with zonotope (#230)
• Add examples for constructors and remove code copy (#232)
• Support vector computation for a polynomial zonotope (#239)
• Document formatter=identity (#305)
• Caching lazy set operations (#351)
• Forbid degenerate cases (#422)
• Zonotope-zonotope intersection emptiness in 3D (#1267)
• Generalize exponential backend in symmetric_interval_hull methods (#3117)
• AbstractStar is recognized as a concrete set type (#3194)
• Implement Tetrahedron type (#3258)
• Implement efficient point in tetrahedron check (#3259)

Merged pull requests:

• Fix function error (raise -> throw) (#3252) (@schillic)
• #3117 - Generalize exponential backend in symmetric_interval_hull methods (#3253) (@schillic)
• More reflect methods and docs/tests (#3254) (@schillic)
• Add ngens methods (#3255) (@schillic)
• Add complement methods (#3256) (@schillic)
• Let generators of LineSegment return an iterator (#3257) (@schillic)
• Add option to get 2D Delaunay triangulation for 3D sets (#3260) (@schillic)
• #3194 - Remove AbstractStar interface (#3261) (@schillic)
• #230 - Overapproximate DensePolynomialZonotope with Zonotope (#3262) (@schillic)
• Add Tetrahedron set type (#3263) (@mforets)
• Revise interface tests (#3264) (@schillic)
• import IntervalArithmetic as IA (#3265) (@schillic)
• #232 - Remove constructor lists from docs (#3266) (@schillic)
• Membership check for Tetrahedron (#3267) (@mforets)