v2.13.0

LazySets v2.13.0

Diff since v2.12.1

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Breaking changes

• Outsource basetype to ReachabilityBase (this is technically breaking but was not meant to be part of the API) (#3503)

Features

• Add convert between SparsePolynomialZonotope and Taylor model (#3447, #3498)
• Zonotope overapproximation of intersection between zonotope and axis-aligned half-space based on ICP (#3457)
• Add convert from zonotopic set to Hyperrectangle (#3484)
• Add permute for Zonotope (#3485)
• Add permute for HalfSpace, HPolytope, HPolyhedron (#3487)
• minkowski_sum for SparsePolynomialZonotope and zonotopic set (#3493)
• extrema approximation for SparsePolynomialZonotope (#3494)
• Add isempty and convex_hull for Polygon (#3499)
• Non-uniform split for hyperrectangles (#3505)

Enhancements

• Replace Integer by Int (#3443)
• Generalize order-reducing overapproximate method (#3444)
• Use exact LP solver for sets represented with integers (#3486)
• Better equivalence check of singleton and zonotope (#3489)
• Outsource documentation to new API module (#3497)
• Let binary convex_hull with EmptySet fall back to the unary method (#3500)
• Let remove_redundant_generators remove almost-zero columns (#3504)

Bug fixes

• Fix membership test in zonotope without generators (#3488)
• Fix reduce_order for SPZ of smaller order (#3492)
• Fix projection of polyhedron in unconstrained dimensions (#3501)

Internal changes

• Bring back IntervalConstraintProgramming in tests (#3482)
• Use Unicode symbols in documentation (#3496)
• Bump compat for Makie v0.21 in tests (#3508)

---

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)

v2.12.1

LazySets v2.12.1

Diff since v2.12.0

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Bug fixes

• Add missing convert methods for HPolytope/HPolyhedron (#3491)

---

Merged pull requests:

• Add missing convert methods for HPolytope/HPolyhedron (#3491) (@schillic)

v2.12.0

LazySets v2.12.0

Diff since v2.11.4

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Breaking changes

• Change keyword argument in Zonotope overapproximation of Taylor model (#3446)

Features

• Add cartesian_product for SparsePolynomialZonotope (#3438)
• Add translate for most lazy operations (#3474)
• Add reduce_order for Zonotope with static matrix (#3467, #3476)
• Add overapproximate of zonotopic unions with Zonotope (#3458)
• Add convert methods for HPolytope/HPolyhedron with fixed vector type (#3466)
• Add decompose for fixed target type (with overapproximation) (#3468)

Enhancements

• Remove redundant generators in Zonotope overapproximations of Taylor model and SparsePolynomialZonotope (#3446)
• Fix unbound args (#3461)
• Fix piracies (<=, activate_assertions, deactivate_assertions, rand) (#3462, #3463, #3481)
• Revise rectify of polyhedra (filter out empty sets) (#3469, #3479)

Internal changes

• Split and revise documentation pages (#3436)
• Revise CI scripts (#3437)
• Replace $ with double backticks (#3445)
• Run Aqua in tests and fix problems (#3439, #3451)
• Fix Codecov (#3452)
• Minor fixes (#3454)
• Fix invalid character (#3460)
• Remove Javis from test dependencies (#3465)
• Remove redundant calls to uniqueID (#3448)
• Move PkgVersion code to central place (#3459)
• Use eachindex/axes instead of 1:length/1:size (#3464)
• Remove precompile statement (#3470)
• Make test conditional on IntervalArithmetic version (#3477)
• Run doctests when building docs instead of tests (#3478)
• Add Aqua badge (#3453)

---

Merged pull requests:

• Split and revise documentation (#3436) (@schillic)
• Revise CI scripts (#3437) (@schillic)
• cartesian_product for SparsePolynomialZonotope (#3438) (@schillic)
• Run Aqua in tests and fix problems (#3439) (@schillic)
• Add timeout to tests (#3441) (@schillic)
• Replace $ with double backticks (#3445) (@schillic)
• Remove redundant generators in zonotope overapproximations (#3446) (@schillic)
• Remove calls to uniqueID (done in constructor) (#3448) (@schillic)
• Remove old (now duplicate) ambiguity tests (#3451) (@schillic)
• Add Aqua badge and fix Codecov (#3452) (@schillic)
• Add Aqua badge (#3453) (@schillic)
• Minor fixes in comments (#3454) (@schillic)
• Support overapproximate of unions instead of convex hulls (#3458) (@schillic)
• Move PkgVersion code to central place (#3459) (@schillic)
• Fix invalid character (#3460) (@schillic)
• Fix unbound args (#3461) (@schillic)
• Fix piracy with <= (#3462) (@schillic)
• Fix piracies with activate_assertions & deactivate_assertions (#3463) (@schillic)
• Use eachindex/axes instead of 1:length/1:size (#3464) (@schillic)
• Remove Javis from test dependencies (#3465) (@schillic)
• More convert methods for HPolytope/HPolyhedron (#3466) (@schillic)
• reduce_order for zonotope with static matrix (#3467) (@schillic)
• decompose for fixed target type with overapproximation (#3468) (@schillic)
• Revise rectify (#3469) (@schillic)
• Remove precompile statement (#3470) (@schillic)
• TaylorModels compat v0.7 (#3473) (@schillic)
• #1193 - Concrete translation of lazy operations (#3474) (@schillic)
• Generalize reduce_order with StaticArrays matrix (#3476) (@schillic)
• Make test conditional on IA version (#3477) (@schillic)
• Run doctests when building docs instead of tests (#3478) (@schillic)
• Fix for rectify in #3469 (#3479) (@schillic)
• Fix piracy with rand (#3481) (@schillic)
• Rename variables to avoid typos warnings (#3483) (@schillic)
• Bump julia-actions/setup-julia from 1 to 2 (#3490) (@dependabot[bot])

Closed issues:

• Concrete translation of lazy operations (#1193)
• Fix piracies (#3449)
• Fix unbound args (#3450)
• Convex hull algorithm from Polyhedra.jl produces invalid constraints (#3456)

v2.11.4

LazySets v2.11.4

Diff since v2.11.3

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Features

• Add plotting of SparsePolynomialZonotope (#3429)
• box_approximation of Taylor model (#3432)

Internal changes

• Code formatting #3430
• Ignore CI results of Julia v1.6 runs (because it is mostly stalled nowadays) #3431

---

Merged pull requests:

• Enable plotting of SparsePolynomialZonotope (#3429) (@schillic)
• Automatic JuliaFormatter.jl run (#3430) (@github-actions[bot])
• Ignore Julia v1.6 results (#3431) (@schillic)
• Box approximation of a Taylor model (#3432) (@schillic)
• v2.11.4 (#3433) (@schillic)

v2.11.3

LazySets v2.11.3

Diff since v2.11.2

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Enhancements

• Avoid using .RangeEnclosures and simplify init functions #3426

Bug fixes

• Fix linear_map of AbstractZonotope for 1D output #3428

---

Merged pull requests:

• Automatic JuliaFormatter.jl run (#3422) (@github-actions[bot])
• Enable manual triggering of CI scripts (#3424) (@schillic)
• IntervalMatrices v0.10 in tests (#3425) (@schillic)
• Avoid using .RangeEnclosures; simpler init functions (#3426) (@schillic)
• spz docs nitpicks (#3427) (@mforets)
• Fix linear_map of AbstractZonotope for 1D output (#3428) (@schillic)

v2.11.2

LazySets v2.11.2

Diff since v2.11.1

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Features

• Better vertices_list of 1D HPolytope (#3415)

Enhancements

• Use extended switching logic for SDP solver (avoids warning about function redefinition) (#3418)

Bug fixes

• Fix _two_points_1d! (#3415)
• Fix Inclusion of zonotope without generators in polyhedron (#3417)

---

Merged pull requests:

• Stop CompatHelper from bumping frozen packages (#3413) (@schillic)
• #3414 - fix _two_points_1d! & better vertices_list of 1D HPolytope (#3415) (@schillic)
• #3416 - Inclusion of zonotope without generators in polyhedron (#3417) (@schillic)
• Use switching logic from expm for SDP solver (#3418) (@schillic)
• v2.11.2 (#3421) (@schillic)

Closed issues:

• convex_hull of two 1D points modifies points in-place (#3414)
• Inclusion of zonotope without generators in polyhedron (#3416)

v2.11.1

LazySets v2.11.1

Diff since v2.11.0

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Features

• Add concretize methods for UnionSet and UnionSetArray (#3406)
• Add is_polyhedral for CartesianProductArray (#3407, #3408)

Enhancements

• Faster infinity norm (#3390)
• Robust subset check of zonotope in polyhedron (#3397)
• Freeze version of IntervalArithmetic to < v0.22 due to incompatibilities (#3404)
• Better containment check in LinearMap/AbstractAffineMap (#3395)

Internal changes

• Support Documenter v1 in docs (#3381)
• Remove documentation of unexported AbstractBallp methods (#3383)
• Update reference to Gitter -> Zulip (#3384)
• Support IntervalMatrices v0.9 in tests (#3386)
• Add a spell checker and fix typos (#3389)
• Support Makie v0.20 and SCS v2 in tests (#3396)
• Set GR version in docs/Project.toml to v0.* (#3403)
• Add publications (#3402)

---

Merged pull requests:

• Bump actions/checkout from 3 to 4 (#3379) (@dependabot[bot])
• Bump compat for Documenter to 1 (#3381) (@schillic)
• Automatic JuliaFormatter.jl run (#3382) (@github-actions[bot])
• Remove documentation of unexported AbstractBallp methods (#3383) (@schillic)
• Update reference to Gitter -> Zulip (#3384) (@schillic)
• Bump compat for IntervalMatrices to 0.9 (#3386) (@schillic)
• Spell checker (#3389) (@schillic)
• Faster infinity norm (#3390) (@schillic)
• #3394 - Better containment check in LinearMap/AbstractAffineMap (#3395) (@schillic)
• Update versions of Makie and SCS (#3396) (@schillic)
• Robust subset check for zonotope in polyhedron (#3397) (@schillic)
• Add publications (#3402) (@schillic)
• Set GR version in docs/Project to 0.* (#3403) (@schillic)
• Freeze version of IntervalArithmetic (#3404) (@schillic)
• Add concretize methods for UnionSet and UnionSetArray (#3406) (@schillic)
• Add is_polyhedral for CartesianProductArray and assertion (#3407) (@schillic)
• Add tests for is_polyhedral of CartesianProductArray (#3408) (@schillic)
• v2.11.1 (#3409) (@schillic)

Closed issues:

• Containment check in a LinearMap can fail with SingularException (#3394)
• Inclusion check of flat zonotope in equivalent line segment fails (#3405)

v2.11.0

LazySets v2.11.0

Diff since v2.10.0

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Breaking changes

• Removed type parameter for interval type from Interval (#3378)

Enhancements

• Compatibility with IntervalArithmetic v0.21 (#3378)

---

Merged pull requests:

• IntervalArithmetic v0.21 (and RangeEnclosures v0.2 in tests) (#3378) (@schillic)

v2.10.0

LazySets v2.10.0

Diff since v2.9.0

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Breaking changes

• Remove confusing constructor method of a Line2D from a HalfSpace (#3366)

Features

• Add intersection of CartesianProduct with polyhedron (#3361)
• Add area for Ball2 (#3365)
• Add difference of Interval and HalfSpace (#3351)
• Add AbstractBallp interface with internal functions radius_ball and ball_norm to share common code between p-norm balls. This also adds some new methods and improves some old methods for p-norm balls. (#3368)

Enhancements

• constraints_list: faster for AbstractHyperrectangle and alternative for AbstractSingleton (#3363)
• Better linear_map of AbstractZonotope for 1D output (#3364)
• Faster area for BallInf and AbstractHyperrectangle (#3365)
• Add normalize option to Line constructor (#3367)
• Simplify intersection result with unions (#3352)

Bug fixes

• Fix issubset of interval in union (#3351)

Internal changes

• Merge Line2D constructor docs (#3366)
• Merge Line constructor docs (#3367)

---

Closed issues:

• Add interface for balls (#1629)
• Concrete Minkowski sum of balls (#1630)
• Update "How to cite" in manual (#3347)

Merged pull requests:

• difference of Interval and HalfSpace & fix issubset of interval in union (#3351) (@schillic)
• Remove empty sets from intersection with union (#3352) (@schillic)
• #3347 - Add link to CITATION.bib to manual (#3354) (@schillic)
• intersection of CartesianProduct with polyhedron (#3361) (@schillic)
• constraints_list: faster for AbstractHyperrectangle and alternative for AbstractSingleton (#3363) (@schillic)
• Better linear_map of AbstractZonotope for 1D output (#3364) (@schillic)
• area: add for Ball2 and faster for BallInf and AbstractHyperrectangle (#3365) (@schillic)
• Line2D: merge docs, remove method from HalfSpace (#3366) (@schillic)
• Line: merge constructor docs to struct docs, add normalize option (#3367) (@schillic)
• Add AbstractBallp interface (#3368) (@schillic)
• Automatic JuliaFormatter.jl run (#3372) (@github-actions[bot])
• Update Project.toml (#3373) (@mforets)

v2.9.0

LazySets v2.9.0

Diff since v2.8.0

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Frederik Baymler Mathiesen (Zinoex)

Features

• Revise binary and n-ary lazy operations (#3358)
  • new exported functions: flatten; length and getindex for binary operations; iterate
  • define a default ∈ (for getting an error message instead of a wrong default via iterate)
  • new internal features (not exported): @declare_binary_operation (some internal convenience definitions); first and second for binary operations; concrete_function (allows to define concretize only once)

Enhancements

• Better constraints_list of 1D and 2D VPolytopes (#3350)
• Switch from thread-local to task-local LP solvers (#3356)
• Fix plot of UnionSet and UnionSetArray (#3355, #3359)
• Generalize linear_map_inverse to affine_map_inverse (both unexported functions) (#3360)

Internal changes

• Replace ColumnIterator with eachcol (#3357)
• Adapt to ReachabilityBase v0.2 (#3369)

---

Closed issues:

• Add interfaces for operation set types (#269)
• Add decomposition for HalfSpaces (#1086)
• Extra allocation in inclusion test for UnionSet (#1857)
• Extra allocs in disjointness checks for unions (#1858)

Merged pull requests:

• Better constraints_list of 1D/2D VPolytopes (#3350) (@schillic)
• Fix plot of union (#3355) (@schillic)
• Switch from thread-local to task-local LP solvers (#3356) (@Zinoex)
• Replace ColumnIterator with eachcol (#3357) (@schillic)
• Revise binary and n-ary lazy operations (#3358) (@schillic)
• Fix plotting (#3359) (@schillic)
• Generalize linear_map_inverse to affine_map_inverse (#3360) (@schillic)
• Automatic JuliaFormatter.jl run (#3362) (@github-actions[bot])
• Adapt to ReachabilityBase v0.2 (#3369) (@schillic)
• v2.9.0 (#3371) (@schillic)