LazySets.jl Versions Save

Scalable symbolic-numeric set computations in Julia

v2.12.1

1 month ago

LazySets v2.12.1

Diff since v2.12.0

Announcements

Contributors for this release:

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

1 month ago

LazySets v2.12.0

Diff since v2.11.4

Announcements

Contributors for this release:

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

3 months ago

LazySets v2.11.4

Diff since v2.11.3

Announcements

Contributors for this release:

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

3 months ago

LazySets v2.11.3

Diff since v2.11.2

Announcements

Contributors for this release:

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

4 months ago

LazySets v2.11.2

Diff since v2.11.1

Announcements

Contributors for this release:

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

4 months ago

LazySets v2.11.1

Diff since v2.11.0

Announcements

Contributors for this release:

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

8 months ago

LazySets v2.11.0

Diff since v2.10.0

Announcements

Contributors for this release:

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

8 months ago

LazySets v2.10.0

Diff since v2.9.0

Announcements

Contributors for this release:

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

9 months ago

LazySets v2.9.0

Diff since v2.8.0

Announcements

Contributors for this release:

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)

v2.8.0

10 months ago

LazySets v2.8.0

Diff since v2.7.6

Announcements

Contributors for this release:

Features

  • Add linear_map and affine_map for Ellipsoid (#3323)
  • Add support vector and support function for Polygon (#3325)
  • Add some scale and scale! methods (#3326)
  • Add inclusion check for nonconvex sets and zonotopic sets in a polyhedron (#3328)
  • Add tohrep/tovrep for general polyhedral sets (#3329)
  • Add isfeasible check for a list of linear constraints (#3338)

Enhancements

  • Do not use GLPK's presolver for removing redundant vertices (printed expected warnings about infeasibility) (#3333)
  • Faster disjointness check between zonotopic sets and polyhedra (#3334)
  • Added generic overapproximate by falling back to convert (#3335)
  • Overhaul usage of LP solver (cache default LP model, allow to pass a JuMP model directly, faster constraint generation) (#3340)
  • Support additional LP-solver status and throw ArgumentError for infeasible LP (#3344)

Bug fixes

  • Fix special cases in linear_map_inverse (#3348)

Internal changes

  • Simplify code in 2D minkowski_sum (#3327)
  • 2D zonotope vertex enumeration with linear complexity (currently unused) (#2288)
  • Example for ExponentialProjectionMap docs (#3330)
  • Code polishing related to one/ones (#3339)

Closed issues:

  • Use SingleEntryVector type (#538)
  • Add an example in the ExponentialProjectionMap type (#960)
  • Add function to check the feasibility of a list of linear constraints (#1057)
  • Fallback tovrep implementation (#1134)
  • Generic overapproximate by falling back to convert (#1229)
  • Fast disjointness test for zonotope and half-space (#1286)
  • Add more methods for scale (#2610)
  • Simplify code in 2D minkowski_sum (after Julia error gets fixed) (#2778)
  • glp_simplex warning in remove_redundant_vertices (#3226)
  • Use autoformatter? (#3251)
  • Support vector of Polygon (#3324)
  • Caching the JuMP model in linprog (#3336)

Merged pull requests:

  • General 2d Zonotope vertex enumeration with linear complexity (#2288) (@yupbank)
  • Add linear_map and affine_map for Ellipsoid (#3323) (@schillic)
  • #3324 - Support vector/function for Polygon (#3325) (@schillic)
  • #2610 - Add scale and scale! methods (#3326) (@schillic)
  • #2778 - Simplify code in 2D minkowski_sum (#3327) (@schillic)
  • Inclusion check for nonconvex sets and zonotopic sets in polyhedron (#3328) (@schillic)
  • #1134 - tohrep/tovrep for general polyhedral sets (#3329) (@schillic)
  • #960 - Add example to ExponentialProjectionMap docs (#3330) (@schillic)
  • Do not use GLPK's presolver for removing redundant vertices (#3333) (@schillic)
  • Specialized disjointness check between zonotope and polyhedron (#3334) (@schillic)
  • #1229 - Generic overapproximate by falling back to convert (#3335) (@schillic)
  • Auto-format script (#3337) (@schillic)
  • #1057 - Feasibility test for a list of linear constraints (#3338) (@schillic)
  • Minor code polishing (#3339) (@schillic)
  • #3336 - Cache default LP model (#3340) (@Zinoex)
  • Add package bounds to test/Project.toml (#3343) (@schillic)
  • Support additional solver status and throw ArgumentError (#3344) (@schillic)
  • Format and rearrange code (#3346) (@schillic)
  • Fix special cases in linear_map_inverse (#3348) (@schillic)
  • Update Project.toml (#3349) (@mforets)