v1.41.0

LazySets v1.41.0

Diff since v1.40.0

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Sebastian Guadalupe (@SebastianGuadalupe)

Features

• Make Star set with polyhedral predicate be an alias for a specific AffineMap (#2578)

Enhancements

• Add option (activated by default) to remove redundant constraints after iterative refinement (#2589)

Bug fixes

• Sort constraints in concrete intersection of HPolygons (#2577)
• Fix method ambiguities (#2587)
• Assert boundedness in plot3d (#2590)

Internal changes

• Fix invalid links in documentation (#2591)
• Use Julia's built-in ambiguity test (#2587)

---

Closed issues:

• Iterative refinement contains redundant information (#369)
• Revise convex_hull (#950)
• Resolve ambiguities of overapproximate (#1353)
• plot3d creates HPolytope without checking boundedness (#1807)
• Elimination with mixed types (#1952)
• Type instability in hyperrectangle split (#2082)
• Error in concrete intersection of HPolygon (#2187)
• Invalid local links in documentation (#2319)
• Random failure in polygon test (#2505)
• Support function and support vector of star (#2556)
• Ambiguity tests (#2586)

Merged pull requests:

• #2187 - Sort constraints in HPolygon intersection (#2577) (@schillic)
• Change Star constructor to be an alias for a specific AffineMap (#2578) (@mforets)
• Fix unit test (#2584) (@schillic)
• #2082 - Type instability in hyperrectangle split (#2585) (@SebastianGuadalupe)
• #2586 - Ambiguity tests (#2587) (@schillic)
• #369 - Remove redundant constraints after iterative refinement (#2589) (@schillic)
• #1807 - Assert boundedness in plot3d (#2590) (@schillic)
• #2319 - Invalid local links in documentation (#2591) (@schillic)
• Update Project.toml (#2592) (@mforets)