v2.13.0

LazySets v2.13.0

Diff since v2.12.1

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Breaking changes

• Outsource basetype to ReachabilityBase (this is technically breaking but was not meant to be part of the API) (#3503)

Features

• Add convert between SparsePolynomialZonotope and Taylor model (#3447, #3498)
• Zonotope overapproximation of intersection between zonotope and axis-aligned half-space based on ICP (#3457)
• Add convert from zonotopic set to Hyperrectangle (#3484)
• Add permute for Zonotope (#3485)
• Add permute for HalfSpace, HPolytope, HPolyhedron (#3487)
• minkowski_sum for SparsePolynomialZonotope and zonotopic set (#3493)
• extrema approximation for SparsePolynomialZonotope (#3494)
• Add isempty and convex_hull for Polygon (#3499)
• Non-uniform split for hyperrectangles (#3505)

Enhancements

• Replace Integer by Int (#3443)
• Generalize order-reducing overapproximate method (#3444)
• Use exact LP solver for sets represented with integers (#3486)
• Better equivalence check of singleton and zonotope (#3489)
• Outsource documentation to new API module (#3497)
• Let binary convex_hull with EmptySet fall back to the unary method (#3500)
• Let remove_redundant_generators remove almost-zero columns (#3504)

Bug fixes

• Fix membership test in zonotope without generators (#3488)
• Fix reduce_order for SPZ of smaller order (#3492)
• Fix projection of polyhedron in unconstrained dimensions (#3501)

Internal changes

• Bring back IntervalConstraintProgramming in tests (#3482)
• Use Unicode symbols in documentation (#3496)
• Bump compat for Makie v0.21 in tests (#3508)

---

Merged pull requests:

• Replace Integer -> Int (#3443) (@schillic)
• Generalize order-reducing overapproximate method (#3444) (@schillic)
• convert from SparsePolynomialZonotope to Taylor model (#3447) (@schillic)
• Zonotope overapproximation of intersection between zonotope and axis-aligned half-space based on ICP (#3457) (@schillic)
• Bring back IntervalConstraintProgramming in tests (#3482) (@schillic)
• Conversion from zonotopic set to Hyperrectangle (#3484) (@schillic)
• Add permute for Zonotope (#3485) (@schillic)
• Use exact LP solver for integer sets (#3486) (@schillic)
• Add permute for HalfSpace, HPolytope, HPolyhedron (#3487) (@schillic)
• Fix membership test in zonotope without generators (#3488) (@schillic)
• Better equivalence check of singleton and zonotope (#3489) (@schillic)
• Fix reduce_order for SPZ of smaller order (#3492) (@schillic)
• minkowski_sum for SPZ and zonotopic set (#3493) (@schillic)
• Extrema approximation for SPZ (#3494) (@schillic)
• Use Unicode symbols in documentation (#3496) (@schillic)
• Outsource documentation to API module (#3497) (@schillic)
• Rename clashing variables in test (#3498) (@schillic)
• isempty and convex_hull for Polygon (#3499) (@schillic)
• Let binary convex_hull with EmptySet fall back to the unary method (#3500) (@schillic)
• Fix projection of polyhedron in unconstrained dimensions (#3501) (@schillic)
• Automatic JuliaFormatter.jl run (#3502) (@github-actions[bot])
• Outsource basetype to ReachabilityBase (#3503) (@schillic)
• Let remove_redundant_generators remove almost-zero columns (#3504) (@schillic)
• Non-uniform split of hyperrectangles (#3505) (@schillic)
• Bump julia-actions/cache from 1 to 2 (#3506) (@dependabot[bot])
• Bump compat for Makie v0.21 in test (#3508) (@schillic)
• v2.13.0 (#3509) (@schillic)

Closed issues:

• Remove empty sets in concrete intersection with a set union (#2158)