v2.7.0

LazySets v2.7.0

Diff since v2.6.0

Announcements

Contributors for this release:

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

Breaking changes

• Revise HParallelotope: add consistency check to constructor and use cheap isempty method (#3219)

Features

• Generalize isempty from HPolyhedron to (polyhedral) LazySet (#3235)
• Add is_polyhedral for IntersectionArray (#3235)

Enhancements

• Remove remaining N<:Real annotations (#3236)
• Make sure rand of HParallelotope returns a nonempty set (#3221)
• Remove dependency on JuMP.MOI (#3245)

Internal changes

• Update manual ("Getting started") (#3243)
• Move some code to interface files (#3244)

---

Closed issues:

• Generalize methods to AbstractPolyhedron (#1078)
• Conversion from simple HRep to list of constraints (#1610)
• Remove N<:Real annotation (#2219)
• vertices_list of an empty HParallelotope is non-empty (#2786)
• Random parallelotope generation often returns an empty set (#3203)
• Documentation Update section causes error (#3242)

Merged pull requests:

• #2786 - Add consistency check to HParallelotope constructor and use cheap isempty method (#3219) (@schillic)
• #3203 - Make rand of HParallelotope return a nonempty set (#3221) (@schillic)
• #1078 - Generalize isempty from HPolyhedron to (polyhedral) LazySet (#3235) (@schillic)
• #2219 - Remove remaining N<:Real annotations (#3236) (@schillic)
• Update manual (getting started) (#3243) (@schillic)
• Move some code to interface files (#3244) (@schillic)
• Remove dependency on JuMP.MOI (#3245) (@schillic)