v1.7.0

Announcements

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

Breaking changes

• The output type of the concrete linear_map of polytopes has changed in some cases. In particular, in 2D we now create polygon types (HPolygon/VPolygon), and we try to stay close to the input type. We have also removed the option output_type. Use convert on the result to imitate the old behavior. (#1093)

Features

• added remove_redundant_constraints for removing redundant constraints of an HPolygon, which is now used by default (#898)
• added Universe set type (#1098, #1121)
• added constraints_list from matrix and vector, and corresponding constructors for HPolygon/HPolygonOpt (#1102)
• added lazy Resetmap operation type (#1114)
• added concrete intersection between AbstractPolyhedron (#1120)
• added concrete intersection between AbstractPolyhedron and polytopic ResetMap (#1139)

Bug fixes

• fixed crash for isinvertible for sparse matrices (by converting to a dense matrix) (#1093)

Enhancements

• added a new section on the LazySets manual about lazy intersections (#1089)
• added the optional argument use_inv in the concrete linear_map of polyhedra to allow using either the pre-calculated full matrix inverse, inv(M), or to use left division over each normal direction (#1080, #1093)