v1.59.0

LazySets v1.59.0

Diff since v1.58.1

Announcements

Contributors for this release:

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

Breaking changes

• Make quadratic_map of a Zonotope an overapproximate method (#3002)

Features

• Add inclusion check for box in union of boxes (#2989)
• Add quadratic_map for SimpleSparsePolynomialZonotope (#2990)
• Add simplification function (reduce_redundant_generators) for simple SPZ (#3009)

Enhancements

• Fast symmetric_interval_hull for V-rep and LineSegment (#3001)
• Numerically robust membership check for Hyperplane and Line2D (#3003)
• Remove redundant overapproximation in some function (#3004)

Internal changes

• Update documentation with Makie/GLMakie in plot3d (#2852)

---

Closed issues:

• Specialized iterator methods constraints and vertices (#2264)
• Approximate hyperplane membership test (#2919)
• Add quadratic map of SPZ (#2982)
• Make quadratic_map an overapproximate method (#2993)
• Compute the largest box inside a connected union of boxes (#2999)
• Simplifations of sspz (#3005)

Merged pull requests:

• Updates in plot3d (#2852) (@mforets)
• Inclusion check for box in union of boxes (#2989) (@schillic)
• add quadratic map for sspz (#2990) (@lucaferranti)
• Fast symmetric_interval_hull for V-rep (#3001) (@schillic)
• #2993 - Make quadratic_map an overapproximate method (#3002) (@schillic)
• #2919 - Numerically robust membership check for Hyperplane and Line2D (#3003) (@schillic)
• Remove redundant overapproximation (#3004) (@schillic)
• check convexity in line segment (#3007) (@mforets)
• add remove_redundant_generators for sspz (#3009) (@lucaferranti)
• Update Project.toml (#3010) (@mforets)