v1.36.3

LazySets v1.36.3

Announcements

Contributors for this release:

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

Features

• Function to normalize HalfSpaces and polyhedra in constraint representation (#2201)

Enhancements

• Bump GLPKMathProgInterface and Optim (#2189)
• Recursive overapproximation of ConvexHullArray of zonotopes with a Zonotope (#2185)
• Add floating-point tolerance to is_tighter_same_dir_2D (#2191)
• Always use constraint representation in linear_map_cartesian_product (#2194)
• Robust test for point-in-polyhedron using support functions (#2197)
• Return HPolytope in projection of polytope (#2196)

Bug-fixes

• Remove invalid assertion in conversion of Polyhedra.polyhedron to HPolyhedron (#2200)
• Fix disjointness check between a zonotope and a hyperplane if the zonotope has 0 generators (#2204)

---

Diff since v1.36.2

Closed issues:

• Function to normalize a polytope's directions (#1698)
• Use tolerance in membership test of Polyhedron (#2089)
• Compute the overapproximation of the convex hull array of zonotopes with a zonotope recursively (#2154)
• LazySets not loading (#2184)

Merged pull requests:

• #2154 - Compute the overapproximation of the convex hull array of zonotopes with a zonotope recursively (#2185) (@SebastianGuadalupe)
• Bump GLPKMathProgInterface and Optim (#2189) (@schillic)
• Add floating-point tolerance to is_tighter_same_dir_2D (#2191) (@schillic)
• Always use constraint representation in linear_map_cartesian_product (#2194) (@schillic)
• Return HPolytope in projection of polytope (#2196) (@schillic)
• #2089 - Use tolerance in membership test of Polyhedron (#2197) (@SebastianGuadalupe)
• Remove wrong assertion (#2200) (@schillic)
• #1698 - Function to normalize a polytope's directions (#2201) (@schillic)
• Allow emptiness check with zonotopes without generators (#2204) (@mforets)
• Update Project.toml (#2207) (@mforets)