JuliaReach/LazySets.jl: v2.13.0

LazySets v2.13.0

Diff since v2.12.1

Merged pull requests:

• Replace Integer -> Int (#3443) (@schillic)
• Generalize order-reducing overapproximate method (#3444) (@schillic)
• convert from SparsePolynomialZonotope to Taylor model (#3447) (@schillic)
• Zonotope overapproximation of intersection between zonotope and axis-aligned half-space based on ICP (#3457) (@schillic)
• Bring back IntervalConstraintProgramming in tests (#3482) (@schillic)
• Conversion from zonotopic set to Hyperrectangle (#3484) (@schillic)
• Add permute for Zonotope (#3485) (@schillic)
• Use exact LP solver for integer sets (#3486) (@schillic)
• Add permute for HalfSpace, HPolytope, HPolyhedron (#3487) (@schillic)
• Fix membership test in zonotope without generators (#3488) (@schillic)
• Better equivalence check of singleton and zonotope (#3489) (@schillic)
• Fix reduce_order for SPZ of smaller order (#3492) (@schillic)
• minkowski_sum for SPZ and zonotopic set (#3493) (@schillic)
• Extrema approximation for SPZ (#3494) (@schillic)
• Use Unicode symbols in documentation (#3496) (@schillic)
• Outsource documentation to API module (#3497) (@schillic)
• Rename clashing variables in test (#3498) (@schillic)
• isempty and convex_hull for Polygon (#3499) (@schillic)
• Let binary convex_hull with EmptySet fall back to the unary method (#3500) (@schillic)
• Fix projection of polyhedron in unconstrained dimensions (#3501) (@schillic)
• Automatic JuliaFormatter.jl run (#3502) (@github-actions[bot])
• Outsource basetype to ReachabilityBase (#3503) (@schillic)
• Let remove_redundant_generators remove almost-zero columns (#3504) (@schillic)
• Non-uniform split of hyperrectangles (#3505) (@schillic)
• Bump julia-actions/cache from 1 to 2 (#3506) (@dependabot[bot])
• Bump compat for Makie v0.21 in test (#3508) (@schillic)
• v2.13.0 (#3509) (@schillic)

Closed issues:

• Remove empty sets in concrete intersection with a set union (#2158)