JuliaReach/LazySets.jl: v2.7.3

LazySets v2.7.3

Diff since v2.7.2

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)