Skip to content

v2.13.0

Compare
Choose a tag to compare
@github-actions github-actions released this 14 May 18:54
· 597 commits to master since this release
e23125c

LazySets v2.13.0

Diff since v2.12.1

Announcements

Contributors for this release:

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:

Closed issues:

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