v2.7.5

LazySets v2.7.5

Diff since v2.7.4

Announcements

Contributors for this release:

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

Features

• 3D plot recipe with Plots for polytopic sets (#3281)
• minkowski_difference for hyperrectangular sets (#3269)
• volume for polygons (#3295)
• Allow scalar argument for linear_map (falls back to scale) and affine_map (#3284)
• Add minkowski_difference for zonotopes in 1D and 2D (#3270)
• Maximum volume Ellipsoid in a polyhedral set (#3293)
• Add □ and ○ convenience functions (#3314)
• Convenience constructor of ExponentialMap from sparse matrix (#3296)
• Convenience constructors for some n-ary lazy operations (#3316)

Enhancements

• Specialized support function for VPolytope (#3276)
• Allow to pass kwargs to _expmv and add method with default backend (#3310)
• Faster concretize of ConvexHullArray of polytopes (#3307)
• Faster area for VPolygon (#3295)
• Condition shortcut in same_side (#3306)
• Specialized support function for Ball1 and Ball1 (#3274)
• Specialized support function for LineSegment (#3275)
• Specialized support function for ExponentialProjectionMap (#3280)
• Define convert methods to HPolygon in eval loop (#3291)
• More efficient support vector for UnionSet and UnionSetArray (#3308)
• Define == for Intersection to ignore the cache (#3316)
• Quick sufficient isdisjoint check (#3283)
• Make membership check in AbstractZonotope more efficient (#3321)

Bug fixes

• Fix intersection of UnionSetArray and Interval (#3313)
• Fix kwargs in default_lp_solver_polyhedra (#3320)

Internal changes

• Fix typos (#3305)
• Require PkgVersion in tests (#3289)
• Helper functions to simplify witness code (#3279)
• Change error in SparseMatrixExp constructor to ArgumentError (#3309)
• Format code (#3320)

---

Closed issues:

• Recipes for 3D Plots (#35)
• Use some more unicode operators as short hands (#822)
• ExponentialMap constructor from SparseMatrixCSC and set (#823)
• Concrete convex hull from ConvexHull(Array) of polytopes (#948)
• More efficient support vector/function for UnionSetArray (#993)
• Revise supp function of lazy intersection of polyhedra (#1127)
• Annotate block_options in decompose (#1202)
• Maximum volume ellipsoid in a polyhedral set (#1712)
• Concrete minkowski difference for hyperrectangular sets (#1721)
• typos and spelling (#3302)

Merged pull requests:

• #1721 - Concrete minkowski difference for hyperrectangular sets (#3269) (@schillic)
• Add minkowski_difference for zonotopes in 1D and 2D (#3270) (@schillic)
• #600 - Specialized support function for Ball1 and Ballp (#3274) (@schillic)
• #600 - Specialized support function for LineSegment (#3275) (@schillic)
• #600 - Specialized support function for VPolytope (#3276) (@schillic)
• Helper functions to simplify witness code (#3279) (@schillic)
• #600 - Specialized support function for ExponentialProjectionMap (#3280) (@schillic)
• #35 - 3D plot recipe for polytopes (#3281) (@schillic)
• Quick sufficient isdisjoint check (#3283) (@schillic)
• Allow linear_map and affine_map with a scalar (#3284) (@schillic)
• Better test for package version (#3289) (@schillic)
• Define convert methods to HPolygon in eval loop (#3291) (@schillic)
• #1712 - Maximum volume ellipsoid in a polyhedral set (#3293) (@schillic)
• Volume for polygons and faster area for VPolygon (#3295) (@schillic)
• #823 - Convenience constructor of ExponentialMap from sparse matrix (#3296) (@schillic)
• #3302 - Fix typos (#3305) (@schillic)
• Condition shortcut in same_side (#3306) (@schillic)
• #948 - Faster concretize of ConvexHullArray of polytopes (#3307) (@schillic)
• #993 - More efficient support vector for UnionSet and UnionSetArray (#3308) (@schillic)
• Change error to ArgumentError (#3309) (@schillic)
• Allow to pass kwargs to _expmv and add method with default backend (#3310) (@schillic)
• Fix intersection of UnionSetArray and Interval (#3313) (@schillic)
• #822 - Unicode operators (#3314) (@schillic)
• Convenience constructors and == for Intersection (#3316) (@schillic)
• Update CI scripts (#3318) (@schillic)
• Update docs (#3319) (@schillic)
• Format code (#3320) (@schillic)
• More efficient membership check in AbstractZonotope (#3321) (@schillic)