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)