v2.14.2

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)