JuliaReach/LazySets.jl: v5.2.0

LazySets v5.2.0

Diff since v5.1.0

Merged pull requests:

• Add isbounded for AbstractPolynomialZonotope (#4091) (@schillic)
• Better error message for DensePolynomialZonotope plot (#4092) (@schillic)
• Add high/low for AbstractZonotope (#4093) (@schillic)
• Bump actions/checkout from 5 to 6 (#4094) (@dependabot[bot])
• MatrixZonotope: fix overapproximate and let remove_redundant_generators discard small generators (#4095) (@alecarraro)
• Fix conversion between type IntervalMatrix and MatrixZonotope (#4096) (@alecarraro)
• Add minkowski_sum of MatrixZonotope and IntervalMatrix (#4097) (@schillic)
• Automatic JuliaFormatter.jl run (#4098) (@github-actions[bot])
• Better tohrep/tovrep for 1D and 2D *Polytopes (#4099) (@schillic)
• Add convert from AbstractPolynomialZonotope to Zonotope (#4100) (@schillic)
• Fix doctests in v1.12 (#4101) (@schillic)
• Remove redundant LazySets.Approximations (#4102) (@schillic)
• Improve witness plot in docs (#4103) (@schillic)
• Automatic JuliaFormatter.jl run (#4105) (@github-actions[bot])
• Bump peter-evans/create-pull-request from 7 to 8 (#4106) (@dependabot[bot])
• Add convert from AbstractZonotope to ZonotopeMD (#4108) (@schillic)
• Add ispolyhedral(type) for ConvexHullArray (#4109) (@schillic)
• Add missing test for Zonotope (#4111) (@schillic)
• Improve error message (#4112) (@schillic)
• Revise tests for Hyperrectangle (#4113) (@schillic)
• Fix empty difference of AbstractHyperrectangles (#4114) (@schillic)
• Let ⊂ also produce a witness in dual case (#4115) (@schillic)
• Do not open plots when building docs (#4116) (@schillic)
• Add ispolytopictype (#4117) (@schillic)
• Assert that radius is finite for Hyperrectangle and balls (#4118) (@schillic)
• Use ispolytopictype (#4119) (@schillic)
• Add rand for ZonotopeMD (#4120) (@schillic)
• Better scale/scale! methods for many set types (#4121) (@schillic)
• Allow Symbolics v7 (#4122) (@schillic)
• Automatic JuliaFormatter.jl run (#4123) (@github-actions[bot])
• Add isconvex API function (#4124) (@schillic)
• Fix isdisjoint for CartesianProductArray and polyhedron (#4125) (@schillic)
• Fix assertion (#4126) (@schillic)
• Use isconvex (#4127) (@schillic)
• Let rand of Star create HPolyhedron predicates (#4128) (@schillic)
• Fix corner case for rand of Star (#4129) (@schillic)
• Remove redundant condition (#4130) (@schillic)
• Return set after scale! of Line2D (#4132) (@schillic)
• Revise some tests (#4133) (@schillic)
• Revise tests for Singleton (#4134) (@schillic)
• Faster genmat for AbstractHyperrectangle (#4135) (@schillic)
• Fix code for Symbolics v7 (#4136) (@schillic)
• Generalize convert methods to Zonotope (#4137) (@schillic)
• Add constrained_dimensions method for AbstractPolytope (#4138) (@schillic)
• Improve type stability for VPolygon and VPolytope (#4139) (@schillic)
• Better copy for Zonotope (#4140) (@schillic)
• Make ballinf_approximation type stable by throwing error (#4141) (@schillic)
• Make overapproximate with Ball2 type stable (#4142) (@schillic)
• Rename variable (#4144) (@schillic)
• Fix _volume_1D (scalar instead of vector) (#4145) (@schillic)
• Better support_vector for AbstractZonotope (#4146) (@schillic)
• Fix docstring (#4147) (@schillic)
• Better affine_map_inverse for AbstractZonotope (#4148) (@schillic)
• Better affine_map for Zonotope (#4149) (@schillic)
• Better convert from CartesianProduct of zonotopes to Zonotope (#4150) (@schillic)
• Better translate of Zonotope (#4151) (@schillic)
• Allow Optim v2 in tests and docs (#4154) (@schillic)
• Use ExplicitImports in tests and fix import issues (#4155) (@schillic)
• Fix test (referred to undefined function) (#4157) (@schillic)
• Remove redundant line (#4158) (@schillic)
• Remove GR from test and docs (#4159) (@schillic)
• Make StaticArraysCore a soft dependency (#4160) (@schillic)
• Combine identical metaprogramming loops (#4161) (@schillic)
• More robust an_element and isuniversal witness for HalfSpace (#4162) (@schillic)
• Remove unused imports from submodules (#4163) (@schillic)
• Better rationalize for Zonotope (#4164) (@schillic)
• norm: unify code; better infinity norm for AbstractZonotope (#4165) (@schillic)
• Better _intersection_poly in 1D and 2D (#4166) (@schillic)
• Better project for AbstractZonotope (#4167) (@schillic)
• Better default radius in infinity norm (#4168) (@schillic)
• Better 2-norm radius for AbstractCentrallySymmetricPolytope (#4169) (@schillic)
• Better sample for AbstractZonotope (#4170) (@schillic)
• Faster witness production for isempty of Universe (#4171) (@schillic)
• Let HPolygon(Opt) constructor always prune when prune==true (#4172) (@schillic)
• Automatic JuliaFormatter.jl run (#4173) (@github-actions[bot])
• Use IntervalArithmetic's inf/sup (#4176) (@schillic)
• More robustness to IntervalArithmetic changes (#4177) (@schillic)
• Add constraints_list to ConvexHull(Array) (#4178) (@schillic)
• Add difference between polyhedra (#4179) (@schillic)