JuliaReach/LazySets.jl: v1.37.1

LazySets v1.37.1

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)