v1.37.1

LazySets v1.37.1

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Sebastián Guadalupe (@SebastianGuadalupe)
• Christian Schilling (@schillic)

Features

• Add convex_hull of an array of polytopes (#2215)
• Create half-spaces and hyperplanes symbolically using ModelingToolkit (#2193)
• Add approximate function for Rectification of a polytope (#2233)
• Add Line, an n-dimensional line representation (#2210)
• Improve and extend zonotope splitting methods (#2214)

Enhancements

• Add rectify for Interval, Singleton, and ZeroSet (#2225, #2229, #2232)
• Generalize singleton_list to arbitrary sets with vertices_list function (#2242)
• Disjointness check with the empty set (#2235)

Internal changes

• Add ModelingToolkit as an optional dependency (#2193)
• Add StaticArrays as an optional dependency (#2214)

---

Diff since v1.37.0

Closed issues:

• Add explicit set operations for special set types (#324)
• Add dimension as type parameter (#372)
• Remove duplicate exports (#452)
• Higher dimensional line (#652)
• Investigate errors in binary functions (#861)
• Sampling from a set (#917)
• convex_hull of polytopes (#941)
• Decomposed intersection for CartesianProductArray (#1041)
• Add template directions alias symbols (#1329)
• Approximation of Rectification of polytope (#1435)
• Generalize singleton_list (#1659)
• Add better error message for conversion of non zonotopic set to zonotope (#1944)
• Move triangulation to new file (#2078)
• Rectangular linear_map from Zonotope given inverse matrix crashes (#2176)
• Disjointness check with the empty set (#2182)
• Add dimension of constrained reset map (#2198)
• Port zonotope splitting implementation from RA (#2213)

Merged pull requests:

• Add conversions from MT to Hyperplane and HalfSpace (#2193) (@mforets)
• Add Line (n-dimensional line) (#2210) (@mforets)
• #2213 - Port zonotope splitting implementation from RA (#2214) (@SebastianGuadalupe)
• #941 - Add convex_hull of an array of polytopes (#2215) (@SebastianGuadalupe)
• Specialized rectify for Interval (#2225) (@schillic)
• Specialized rectify for Singleton (#2229) (@schillic)
• Specialized rectify for ZeroSet (#2232) (@schillic)
• #1435 - Approximation of Rectification of polytope (#2233) (@schillic)
• Update Project.toml (#2234) (@mforets)
• #2182 - Disjointness check with the empty set (#2235) (@schillic)
• update custom css (#2240) (@mforets)
• #1659 - Generalize singleton_list (#2242) (@schillic)
• #2078 - Move triangulation to new file (#2243) (@schillic)
• Bump MT, simplify substitution (#2246) (@mforets)
• Rename Line.n to Line.d (#2249) (@schillic)
• Fix duplicate isdisjoint signature (#2250) (@schillic)
• Update Project.toml (#2253) (@mforets)