v1.58.0

LazySets v1.58.0

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Luca Ferranti (@lucaferranti)

Breaking changes

• Rename PolynomialZonotope to DensePolynomialZonotope, add AbstractPolynomialZonotope interface (#2967)

Features

• Add SimpleSparsePolynomialZonotope (#2972, #2976) and operations (#2978, #2979, #2981)

Enhancements

• Better assertion message (#2971)
• Special sampler for singletons (#2970)
• Improved order reduction methods, (#2220)

Bug fixes

• Fix constraints_list of CartesianProduct and CartesianProductArray (#2969)

Internal changes

• Fix doctest (StaticArrays output changed) (#2986)

---

Diff since v1.57.0

Closed issues:

• Special sampler for singletons (#2960)
• Implement simple sparse polynomial zonotope (#2965)
• Plotting mechanism for polynomial zonotopes (#2966)
• Issue calling convex_hull with new LazySets version (#2973)
• Fix doctest (StaticArrays output changed) (#2985)

Merged pull requests:

• Improved order reduction methods (#2220) (@mforets)
• Update polynomial zonotope, add interface (#2967) (@mforets)
• Update publications (#2968) (@schillic)
• Fix constraints_list of CartesianProduct(Array) (#2969) (@schillic)
• #2960 - Special sampler for singletons (#2970) (@schillic)
• Better assertion message (#2971) (@schillic)
• initial implementation of sparse polynomial zonotopes (#2972) (@lucaferranti)
• Update optional_dependencies.md (#2974) (@mforets)
• Add plotting recipe for SPZ (#2976) (@mforets)
• operations on simple sparse polynomial zonotopes (#2978) (@lucaferranti)
• linear combination and convex hull on sspz (#2979) (@lucaferranti)
• change PolynomialZonotope to point to SSPZ (#2980) (@lucaferranti)
• Fix linear_combination for SSPZ (#2981) (@schillic)
• #2985 - Fix doctest (StaticArrays output changed) (#2986) (@schillic)
• Update CI scripts & publications (#2987) (@schillic)
• Add DOI (#2988) (@schillic)