v1.40.0

LazySets v1.40.0

Diff since v1.39.0

Here we collect the new features, bug fixes, etc. for the next release.

Announcements

Contributors for this release:

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

Breaking changes

• Downgrade ModelingToolkit for compatibility (#2572)
• Unbounded Intervals can no longer be created (#2576)

Enhancements

• Singleton inclusion now correctly falls back to a membership check (#2565)
• Option to remove redundant vertices in linear_map via the new vrep_chull algorithm (#2564)
• Faster intersection of an axis-aligned Halfspace and a hyperrectangular set (#2580)

Bug fixes

• Fix ispermutation for approximate duplicates (#2570)
• Fix crash in isequivalent for same set types (#2569)
• Fix linear_map applied to VPolygon with non-square matrix (#2573)
• Fix iterative refinement (overapproximate) for static vectors (#2575)
• Check boundedness in Interval constructor (#2576)

Internal changes

• Generalize numeric type in concrete intersection (#2574)

---

Closed issues:

• Remove duplicate vertices from linear_map of V-reps (#674)
• Singleton containment invokes the wrong method (#1298)
• Handle inexact vectors in ispermutation (#1337)
• ispermutation works with different numeric types (#1593)
• Use require function in ExponentialMap (#1634)
• Faster intersection between a hyperrectangular set and an axis-aligned halfspace (#1800)
• Iterative refinement fails for affine map with static vector (#1874)
• _isapprox method for Array{<:LazySet} (#1916)
• Treatment of unbounded intervals (#2349)
• Fix equivalence of sets (#2370)
• linear_map applied to VPolygon returns a VPolygon even for non-square matrix (#2567)

Merged pull requests:

• #674 - Remove redundant vertices from linear_map of V-reps (#2564) (@schillic)
• #1298 - Singleton containment invokes the wrong method (#2565) (@schillic)
• #1916 - Fix crash in isequivalent for same set types (#2569) (@schillic)
• #1337 - Fix ispermutation for approximate duplicates (#2570) (@schillic)
• Downgrade ModelingToolkit (#2572) (@schillic)
• Use fallback _linear_map_vrep for VPolygon (#2573) (@schillic)
• #2219 - Review dispatch on numeric type in concrete intersection (#2574) (@mforets)
• #1874 - Iterative refinement fails for static vectors (#2575) (@schillic)
• #2349 - Check boundedness in Interval constructor (#2576) (@schillic)
• #1800 - Faster intersection of an axis-aligned halfspace and a hyperrectangular set (#2580) (@SebastianGuadalupe)
• Update Project.toml (#2581) (@mforets)