JuliaReach/LazySets.jl: v2.7.5

LazySets v2.7.5

Diff since v2.7.4

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)