v1.9.0

Announcements

Note: this release is fully compatible with Julia v0.6/v0.7/v1.0/v1.1.

Breaking changes

• The interface for decompose has changed. We now require three arguments: the set, the partition (although there is an option to specify a uniform block size), and a single option for approximation (#1179)

Features

• added a lazy Translation and a concrete translate operation (#1173, #1192)
• added an extension to the subtypes function, to be used as subtypes(interface, concrete::Bool) that returns all concrete subtypes of a given interface (#1185)
• added a lazy Complement operation (#1204, #1206)
• added concrete projection for HalfSpace and HPolyhedron (#1213)
• added conversion to and from IntervalBox types from IntervalArithmetic (#1215)

Bug fixes

• HPolyhedron's isempty method does not require the package Polyhedra anymore (#1195)
• fixed dim of a UnionSet (#1200)
• fixed constrained_dimensions of HalfSpace with sparse normal vector (#1212)

Enhancements

• overapproximate for template directions now also accepts the raw type (i.e., without instantiating the dimension) (#1197)
• the overapproximation of the convex hull of two zonotopes with another zonotope can now be used with zonotopes of different order (#1205)