Skip to content

v4.0.0
Compare
Choose a tag to compare
@github-actions github-actions released this 17 Apr 19:20
· 40 commits to master since this release
v4.0.0
ac5eeaa
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

LazySets v4.0.0

Diff since v3.1.0

Announcements

Contributors for this release:

Breaking changes

  • Remove constructors from HRep/VRep (use convert instead) (#3715)
  • Remove scalar linear_map (use scale instead) (#3729)
  • Remove surface function (#3816)
  • EmptySet: redefine norm/radius/diameter to 0 (instead of throwing an error) (#3667)
  • Revise plot recipe of small or flat 2D sets; this may change the plotting of sets in some cases (#3822)
  • Rename delaunay → triangulate and triangulate → triangulate_faces and export symbols (#3804)

Features

  • Add distance between point and EmptySet (#3722)
  • Add minimal-area rotated rectangle overapproximation of a polygon (#3795, #3796)
  • Add constrained_dimensions for EmptySet (#3803)
  • Add volume for Universe (#3807)
  • Add isuniversal to Translation (#3809)
  • Add isuniversal for Polygon (#3810)
  • Add concretize for several lazy set operations (#3726)
  • Add convenience function to create a unary lazy ConvexHull (#3815)
  • Add overapproximate of SPZ to VPolytope (#3821, #3841)
  • Add volume for AbstractAffineMap with square matrix (#3743)

Enhancements

  • Add distance between point and set to API (#3722)
  • Check dimensionality in minkowski_sum method (#3799)
  • Allow ≈ for EmptySets of different dimension (#3802)
  • Let exponential_map of EmptySet check for square matrix (#3806)
  • Let diameter/radius/norm for Universe throw ArgumentError (#3807)
  • Change input validation for linear_map to assertion (#3807)
  • Let permute/project/ρ/σ for Universe validate inputs (#3807, #3808)
  • Let affine_map/is_interior_point/isequivalent/isstrictsubset/minkowski_difference validate inputs (#3807, #3808)
  • Fix sample/convex_hull/difference/distance/minkowski_sum/intersection/isdisjoint/issubset/linear_combination/minkowski_difference for Universe (#3808)
  • Add binary convex_hull method to API (#3662)
  • Change default implementation of scale (to be more reliable) (#3730)
  • Outsource common code in concretize of lazy array operations (#3831)
  • Outource common code in BoxDiagDirections and reduce allocations (#3832, #3840)

Bug fixes

  • Fix numeric type in cartesian_product of Universes (#3798)
  • Fix some disambiguation methods (#3813)
  • Fix 2D convex_hull with -0.0 entries (#3797)
  • Fix distance of point and Line (now unsupported with non-Euclidean norm) (#3788)
  • Fix minkowski_difference for polyhedron and bounded set (#3741)
  • Fix minkowski_sum for 2D polygons (#3838)

Internal changes

  • Collect references in docstrings (#3792, #3794)
  • Shorten some links in documentation (#3793)
  • Revise documentation of volume (#3714)
  • Revise tests for EmptySet (#3800, #3805, #3811, #3812)
  • Revise tests for Universe (#3801, #3805, #3811, #3812)
  • Use intersection and cartesian_product method from EmptySetModule (#3812)
  • Collect disambiguation code at bottom of files (#3813)
  • Move ○ to AbstractCentrallySymmetric (#3761)
  • ConvexSet: make σ a required method (#3735)
  • Add isparametrictype trait (#3725)
  • Allow TaylorModels v0.8 in tests and documentation (#3826)

Merged pull requests:

Closed issues:

  • Shared code in DiagDirections and BoxDiagDirections (#2768)
  • Overapproximate polygon with minimal-area rotated hyperrectangle (#2903)
  • Outsource common code to implement concretize of lazy array operations (#3169)
  • Convex hull algorithm in 2D sensitive to numeric precision (#3455)
  • Incorrect minkowski_sum for polygons (#3836)

Contributors

Zinoex, schillic, and 2 other contributors
Assets 2
Loading