LazySets.jl Files

LazySets v2.14.2

Diff since v2.14.1

Announcements

Contributors for this release:

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

Enhancements

• Update AbstractPolynomialZonotope interface; add AbstractSparsePolynomialZonotope interface (#3570, #3574)
• Outsource Line to its own module (#3566)
• Outsource DensePolynomialZonotope to its own module (#3571)
• Outsource SimpleSparsePolynomialZonotope to its own module (#3573, #3578)
• Outsource SparsePolynomialZonotope to its own module (#3575)
• Outsource Line2D to its own module (#3577)
• Outsource HParallelotope to its own module (#3579)
• Outsource Tetrahedron to its own module (#3580)
• Outsource Polygon to its own module (#3581)
• Outsource VPolytope to its own module (#3582)
• Outsource HPolytope to its own module (#3583)
• Outsource VPolygon to its own module (#3584)
• Outsource Star to its own module (#3585)
• Outsource Hyperrectangle to its own module (#3587)
• Outsource HPolyhedron to its own module (#3589)
• Outsource Hyperplane to its own module (#3590)
• Outsource HalfSpace to its own module (#3591)
• Outsource HPolygon to its own module (#3593)
• Outsource Zonotope to its own module (#3594, #3606)
• Clean-up after outsourcing:
• Replace StaticArrays by StaticArraysCore in BallInfModule (#3588)
• Some fixes for outsourced set types (#3595)
• Resolve submodule dependencies via Requires (#3597, #3602)
• Remove duplicate exports (#3598)
• Outsource convert methods to set modules (#3601)
• Split Require functions for set modules (#3603)
• Outsource binary operations to set modules (#3604)
• Do not export internal functions from set modules (#3605)
• Rename load_* functions in set modules (#3607)
• Make StarModule independent of HPolytopeModule (#3615)
• Remove redundant _vertices_list methods (#3616)
• Clean up dependencies and reorder includes (#3619)
• Add namespaces for linter warnings (#3622)
• Share convert code between HPoly (#3624)
• Share common SymEngine code (#3626)
• Support VPolygon constructor from SMatrix (#3632)

Bug fixes

• Do not export internal function (#3572)
• Make rand of Tetrahedron consistent (#3608)
• Fix convert of HPolyhedron from Polyhedra.HRep (#3611)
• Rename and fix a pirating but unused free_symbols method (to _free_symbols) (#3610)

Internal changes

• Add test for non-square linear_map of Interval (#3568)
• Fix docs error (#3569)
• Add tests for SSPZ (#3576)
• Add prefix IA. to interval in tests consistently (#3586)
• Fix namespace warnings in linter (#3596)
• Add tests for SymEngine code (#3610)

Merged pull requests: - Outsource Line to its own module (#3566) (@schillic) - Add test for non-square linear_map of Interval (#3568) (@schillic) - Fix docs error (#3569) (@schillic) - Add AbstractPolynomialZonotope interface functions and implement for SSPZ (#3570) (@schillic) - Outsource DensePolynomialZonotope to its own module (#3571) (@schillic) - Outsource SimpleSparsePolynomialZonotope to its own module (#3572) (@schillic) - Do not export internal function (#3573) (@schillic) - Update AbstractPolynomialZonotope interface functions; add AbstractSparsePolynomialZonotope interface (#3574) (@schillic) - Outsource SparsePolynomialZonotope to its own module (#3575) (@schillic) - Add tests for SSPZ (#3576) (@schillic) - Outsource Line2D to its own module (#3577) (@schillic) - Add missing import (#3578) (@schillic) - Outsource HParallelotope to its own module (#3579) (@schillic) - Outsource Tetrahedron to its own module (#3580) (@schillic) - Outsource Polygon to its own module (#3581) (@schillic) - Outsource VPolytope to its own module (#3582) (@schillic) - Outsource HPolytope to its own module (#3583) (@schillic) - Outsource VPolygon to its own module (#3584) (@schillic) - Outsource Star to its own module (#3585) (@schillic) - Add prefix IA. to interval consistently (#3586) (@schillic) - Outsource Hyperrectangle to its own module (#3587) (@schillic) - Replace StaticArrays by StaticArraysCore (#3588) (@schillic) - Outsource HPolyhedron to its own module (#3589) (@schillic) - Outsource Hyperplane to its own module (#3590) (@schillic) - Outsource HalfSpace to its own module (#3591) (@schillic) - Outsource HPolygon to its own module (#3593) (@schillic) - Outsource Zonotope to its own module (#3594) (@schillic) - Some fixes for outsourced set types (#3595) (@schillic) - Fix namespace warnings in linter (#3596) (@schillic) - Resolve submodule dependencies via Requires (#3597) (@schillic) - Remove duplicate exports (#3598) (@schillic) - Outsource convert methods to set modules (#3601) (@schillic) - Resolve submodule dependency via Requires (#3602) (@schillic) - Split Require functions for set modules (#3603) (@schillic) - Outsource binary operations to set modules (#3604) (@schillic) - Do not export internal functions from set modules (#3605) (@schillic) - Move back vertices_list helper function from ZonotopeModule (#3606) (@schillic) - Rename load_* functions in set modules (#3607) (@schillic) - Make rand of Tetrahedron consistent (#3608) (@schillic) - Add tests for SymEngine code; rename and fix free_symbols (#3610) (@schillic) - Fix convert of HPolyhedron from Polyhedra.HRep (#3611) (@schillic) - Make StarModule independent of HPolytopeModule (#3615) (@schillic) - Remove redundant _vertices_list methods (#3616) (@schillic) - Clean up Sets dependencies and reorder includes (#3619) (@schillic) - Add namespaces for linter warnings (#3622) (@schillic) - Share convert code between HPoly (#3624) (@schillic) - Automatic JuliaFormatter.jl run (#3625) (@github-actions[bot]) - Share common SymEngine code (#3626) (@schillic) - [#3631] - Support VPolygon constructor from SMatrix (#3632) (@schillic) - v2.14.2 (#3633) (@schillic)

Closed issues: - vertices_list returns Float64 type for Float32 type input (#3393) - UndefVarError: IntervalBox not defined on 'using' (#3599) - VPolygon(M::SMatrix) errors (#3631)