Skip to content

v2.4.0
Compare
Choose a tag to compare
@github-actions github-actions released this 14 Nov 18:09
· 659 commits to master since this release
v2.4.0
dd8db00
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

LazySets v2.4.0

Diff since v2.3.0

Announcements

Contributors for this release:

Breaking changes

  • Rename VPolygonNC to Polygon (#3138)
  • Translation of EmptySet and Universe are now simplified automatically (absorbing elements) (#3184)

Features

  • Add some functionality for VPolygonNC (#3127)
  • Add unary convex hull of general sets with a vertices_list method (#3148)
  • Add is_polyhedral for Bloating (#3154)
  • Add isboundedtype for CachedMinkowskiSum (#3170)

Enhancements

  • Revise iterative_refinement code (#3121)
  • Revise template_directions code (#3122)
  • Generalize plotting to LazySet (#3127)
  • Revise decompositions code (#3128)
  • Revise distance code and generalize to LazySet (#3129)
  • Revise exact_sum code (#3130)
  • Revise isstrictsubset code and generalize to LazySet (#3131)
  • Revise linear_combination code (#3132)
  • Revise minkowski_difference code and generalize to LazySet (#3133)
  • Revise difference code and generalize to LazySet (#3134)
  • Revise cartesian_product code and generalize to LazySet (#3135)
  • Revise plot recipes (#3139)
  • Change default overapproximation of polynomial zonotopes (#3139)
  • Revise AbstractSingleton code (in particular, the membership check is now approximate) (#3143)
  • Remove unused type parameters (#3141)
  • Revise overapproximate code and generalize to LazySet (#3140)
  • Add some sets to unions CompactSet and NonCompactSet (#3142)
  • Revise AbstractPolytope code (#3144)
  • Revise minkowski_sum code and generalize to LazySet (#3145)
  • Revise intersection code and generalize to LazySet (#3147)
  • Revise LazySet code (#3149)
  • Revise AbstractPolygon code (#3151)
  • Revise convex_hull code and generalize to LazySet (behavioral change: vertices are sorted in 1D) (#3148)
  • Revise AbstractPolyhedron code (#3150)
  • Revise AbstractCentrallySymmetric code (#3152)
  • Revise AbstractCentrallySymmetricPolytopic code (#3153)
  • Revise issubset code and generalize to LazySet (behavioral change: use some approximate equality checks) (#3154)
  • Revise Bloating code (#3103)
  • Revise isdisjoint code and generalize to LazySet (#3156)
  • Revise AbstractHyperrectangle code (#3157)
  • Revise convert code and generalize to LazySet (#3159)
  • Revise AbstractPolyhedron code (#3161)
  • Revise HPolyhedron code (#3162)
  • Revise AbstractAffineMap code (#3163)
  • Revise HPolygon, HPolygonOpt, and AbstractHPolygon code (#3164)
  • Revise macros code (#3165)
  • Revise DensePolynomialZonotope code (#3166)
  • Revise SimpleSparsePolynomialZonotope code (#3167)
  • Revise AffineMap code (#3168)
  • Revise CachedMinkowskiSum code (#3170)
  • Revise CartesianProductArray code (#3171)
  • Revise ConvexHullArray code and generalize to LazySet (#3172)
  • Revise IntersectionArray code (#3173)
  • Revise MinkowskiSumArray code (#3174)
  • Revise UnionSetArray code and generalize to LazySet (#3175)
  • Revise CartesianProduct code (#3176)
  • Revise ConvexHull code and generalize to LazySet (#3177)
  • Revise Intersection code (#3178)
  • Revise MinkowskiSum code (#3179)
  • Revise UnionSet code and generalize to LazySet (#3180)
  • Revise InverseLinearMap code (#3181)
  • Revise QuadraticMap code (#3182)
  • Revise ResetMap code (#3183)
  • Revise Translation code (#3184)
  • Generalize ConvexSet methods to LazySet (#3185)
  • Revise SymmetricIntervalHull code and generalize to LazySet (#3187)
  • Revise LinearMap code (#3188)
  • Revise ExponentialMap code (#3189)
  • Revise SparsePolynomialZonotope code (#3190)
  • Revise AbstractZonotope code (#3191)
  • Revise Rectification code (in particular finish the ∈ implementation) and generalize to LazySet (#3192)

Bug fixes

  • Fix plotting of 3D singletons via plot (#3143)
  • Fix empty intersection of two VPolygons/VPolytopes (#3147)
  • Fix a crash in ⊆(::LazySet, ::UnionSetArray) (#3154)
  • Let the InverseLinearMap constructors from ZeroSet and EmptySet produce consistent dimensions (#3181)
  • Make dim of ConvexHullArray and UnionSetArray consistent with other array set types (#3172, #3175)
  • LinearMap of an EmptySet now correctly changes the dimension (#3188)
  • ExponentialMap of an EmptySet now correctly changes the dimension (#3189)

Internal changes

  • Outsource ExponentialProjectionMap to its own file (#3189)
  • Outsource FallbackGeneratorIterator to ReachabilityBase (now called ColumnIterator)

Closed issues:

  • Restrict generic inclusion between line segment and lazy sets to convex type (#1856)
  • Extend LazySet to non-convex sets (#1895)
  • Unary convex hull (#2755)
  • Rename VPolygonNC to Polygon (#3137)

Merged pull requests:

Contributors

schillic
Assets 2