JuliaReach/LazySets.jl: v2.6.0

LazySets v2.6.0 Diff since v2.5.0 Closed issues: Concrete Minkowski difference for zonotopes (#586) HPolygon's addconstraint! should ignore/replace constraints with same normal direction (#653) HPolytope's removehredundancy! removes non-redundant constraints (#754) Iterative refinement of HPolygon with redundant constraint adds unexpected constraint (#895) tohrep(::VPolytope) results in unbounded polytope (#1234) Overapproximation of zonotope with polyhedron in constraint representation (#1328) Different result for intersection using HPolyhedron or HPolytope (#1348) HPolygon should not reorder already-sorted constraints (#1393) Convert AbstractPolyhedron to Polyhedra.polyhedron (#1505) Docstrings with kwargs (#1650) Faster support function for CPA and canonical vectors (#1758) Add test for MiniQhull optional dependency (#2077) Documentation redefinition in require blocks (#2080) Fix warnings with Polyhedra (#2162) addconstraint! for HPolygon differs with linear_search option (#2426) Error when passing LP solver to Polyhedra (#2542) AssertionError in is_tighter_same_dir_2D (#2582) Checking equality of Complements Unexpected Behavior. (#2686) Fix links in documentation (#2721) Undefined LP in remove_redundant_constraints (#2732) Overapproximation with zonotope and PolarDirections (CPA algorithm) crashes (#2833) MethodError in eps close approx of Bloating (#2894) rand doesn't work with Rational{Int} (#3019) isdisjoint of flat zonotope with polyhedron returns wrong answer (#3038) Generalize polyhedron to AbstractPolyhedron (#3060) EmptySet is not quite the absorbing operation for CartesianProduct (#3078) Support vector of Ball2 in zero direction (#3198) constraints_list of flat zonotopes is wrong (#3209) Depend on MathOptInterface directly instead of referencing the internal variable of JuMP (#3238) Merged pull requests: Update publications (#3197) (@schillic) #1758 - faster support function/vector for CartesianProduct/CartesianProductArray (#3199) (@schillic) #3198 - Fix support vector of Ball2 in zero direction (#3200) (@schillic) Overapproximation for intersection of zonotope and hyperplane (#3201) (@schillic) Add reference (#3202) (@schillic) Add volume method for HParallelotope (#3204) (@schillic) Add order-reduction method with parallelotope (#3205) (@schillic) #586 - Concrete Minkowski difference for zonotopes (#3206) (@schillic) Fix vrep_chull algorithm and simplify code (#3207) (@schillic) #3078 - Fix CartesianProduct constructor with EmptySet (#3208) (@schillic) #3209 - Fix constraints_list of flat zonotopes (#3210) (@schillic) #2833 - Fix automatic generation of template-direction instances (#3211) (@schillic) #2426 - Fix binary search in addconstraint! for polygons (#3213) (@schillic) #1348 - Improved bound for line search (#3214) (@schillic) #2077 - Add test for MiniQhull (#3216) (@schillic) #2080 - Pull out documentation from requires blocks (#3217) (@schillic) #2732 - Simplify remove_redundant_constraints! code (#3218) (@schillic) Use newer version of Makie in tests (#3220) (@schillic) Add publications (#3222) (@schillic) #3060 - Generalize polyhedron to LazySet (#3223) (@schillic) Use rng in all rand calls (#3224) (@schillic) #2162 - Fix warning with Polyhedra (#3225) (@schillic) Fix check for elimination algorithm type in _minkowski_sum_hrep (#3227) (@Zinoex) Fix variable naming error in overapproximate to HPolyhedron (#3228) (@Zinoex) Make names dir/dirs consistent (#3229) (@schillic) Add test for #3227 (_minkowski_sum_hrep with algorithm given) (#3230) (@schillic) Update Symbolics in tests (#3232) (@schillic) Remove invoke calls (#3233) (@schillic) Fix support vector of unbounded HPolyhedron (#3234) (@schillic) Fix #3238 -- MathOptInterface -> MOI (#3239) (@lassepe) Update Project.toml (#3240) (@schillic