v3.0.0

LazySets v3.0.0

Diff since v2.14.2

Announcements

Contributors for this release:

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

Breaking changes

• Adapt to Symbolics v6.1 (old versions are not supported anymore) (#3637)
• Rename functions starting with is_ consistently; in particular, rename is_polyhedral → ispolyhedral and is_hyperplanar → ishyperplanar (#3627)
• Remove RotatedHyperrectangle (#3592)
• Disallow box_approximation for unbounded sets (#3553)
• Remove + and - methods for Interval (#3614)
• Let remove_redundant_constraints return an empty list if infeasible (#3623)

Features

• Add general case to linear_map of Hyperplane (#3612)
• Add point in Polygon check (#3628)

Enhancements

• Add polyhedral check for complement method (#3562)
• Avoid repeated creation of zero_box/sym_box (#3609)
• Remove redundant convert methods (#3561)
• Fast low/high/extrema for polyhedra (#3617)

Bug fixes

• Fix intersection of LineSegments (#3630)
• Fix VPolygon constructor in pre-v1.9 versions (#3650)
• Fix HPolytope constructor with old Symbolics version (#3651)
• Fix direction in alternative Line constructor (#3567)

Internal changes

• Allow Symbolics v6.1 and SetProg v0.4 in tests (#3637)
• Add commits since last release to README (#3639)
• Merge metaprogramming loops (#3613)
• Rename and move helper function arg_minmax (#3621)
• Remove unused function minmax (#3620)
• Split convert.jl into smaller files (#3618)
• Allow IntervalMatrices v0.11 in tests (#3643)
• Fix invalidations CI run (#3646)
• Use Aqua v0.8.9 to test only for local ambiguities (#3645)
• Update doctest for Julia v1.11 (#3647)
• Bump codecov/codecov-action from 4 to 5 (#3648)
• Revise documentation of Interval operations (#3551)
• Make SymEngine tests robust for old Julia versions (#3652)
• Use hcat in tests for old Julia versions (#3653)

---

Merged pull requests:

• Revise documentation of Interval operations (#3551) (@schillic)
• Disallow box_approximation for unbounded sets (#3553) (@schillic)
• Remove redundant convert methods (#3561) (@schillic)
• Add polyhedral check for complement method (#3562) (@schillic)
• Fix direction in alternative Line constructor (#3567) (@schillic)
• Remove RotatedHyperrectangle (#3592) (@schillic)
• #3495 - Avoid repeated creation of zero_box/sym_box (#3609) (@schillic)
• Finish linear_map of Hyperplane (#3612) (@schillic)
• Merge metaprogramming loops (#3613) (@schillic)
• #3282 - Remove + and - methods for Interval (#3614) (@schillic)
• #3419 - Fast low/high/extrema for polyhedra (#3617) (@schillic)
• Split convert.jl into smaller files (#3618) (@schillic)
• Remove unused minmax function (#3620) (@schillic)
• Rename and move helper function (#3621) (@schillic)
• Let remove_redundant_constraints return an empty list if infeasible (#3623) (@schillic)
• Rename functions with is_ consistently (#3627) (@schillic)
• #3126 - Point in Polygon check (#3628) (@schillic)
• #3629 - Fix intersection of LineSegments (#3630) (@schillic)
• Adapt to Symbolics v6.1; allow SetProg v0.4 in tests (#3637) (@schillic)
• Automatic JuliaFormatter.jl run (#3638) (@github-actions[bot])
• Add commits since last release to README (#3639) (@schillic)
• Bump peter-evans/create-pull-request from 6 to 7 (#3640) (@dependabot[bot])
• Rename function (#3641) (@schillic)
• Allow IntervalMatrices v0.11 in tests (#3643) (@schillic)
• Automatic JuliaFormatter.jl run (#3644) (@github-actions[bot])
• Aqua v0.8.9 tests only for local ambiguities (#3645) (@schillic)
• Fix invalidations CI run (#3646) (@schillic)
• Update doctest for Julia v1.11 (#3647) (@schillic)
• Bump codecov/codecov-action from 4 to 5 (#3648) (@dependabot[bot])
• v3.0.0 (#3649) (@schillic)
• Fix VPolygon constructor in pre-v1.9 versions (#3650) (@schillic)
• Fix HPolytope constructor with old Symbolics version (#3651) (@schillic)
• Make SymEngine tests more robust (#3652) (@schillic)
• Use hcat in tests (#3653) (@schillic)

Closed issues:

• Add point in nonconvex Polygon check (#3126)
• Remove + and - methods for Interval (#3282)
• Faster extrema of HPolytope/HPolyhedron in 1D (#3419)
• Use only one interval instance for zero_itv / sym_itv (#3495)
• Wrong intersection of line segments (#3629)