v2.9.0

LazySets v2.9.0

Diff since v2.8.0

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Frederik Baymler Mathiesen (Zinoex)

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)