v1.17.0

Announcements

First-time contributors:

• @ueliwechsler

Breaking changes

• removed CartesianProduct constructor from an array; use CartesianProductArray instead (#1580)
• the previous default_lp_solver got renamed to default_lp_solver_polyhedra (#1620)
• we use a new default LP solver for Rational numbers, which may break previously-working code; if that causes problems, consider converting to Float64 first (#1620)

Features

• a new underapproximate function to compute underapproximations of convex sets (#1551)
• added overapproximate for an interval linear map of a zonotope (#1427)
• added concrete minkowski_difference for a polyhedron and a compact convex set (#1614)

Enhancements

• the function project is now exported from the LazySets.Approximations module (#1571)
• more efficient ngens method for AbstractHyperrectangle (#1573)
• robust set membership for AbstractHyperrectangle (#1577)
• make Translation of LinearMap an AffineMap (#1553)
• the default LP solver is now chosen centrally in default_lp_solver, which uses an :Exact solver for Rationals (#1620)

Bugfixes

• fixed the concrete minkowski sum of polygons with small number of vertices (#1601)
• fixed CDDLib interface for Rational numbers (#1596)
• fixed the minkowski_sum method for general LazySets (#1595)
• fixed a typo in export minkowsi_sum (#1598)
• fixed missing type parameter in Translation constructor (could cause an unreachable reached error) (#1553)