v1.21.0

Announcements

This release is compatible with the new Julia version 1.2 and the upcoming Julia version 1.3.
Continuous integration under Windows has been added (#1739).

First-time contributors:

• @tacuaaa

Breaking changes

• allow AbstractVectors in Hyperrectangle fields (#1717)
• apply a convex-hull algorithm (which removes duplicates) when computing the vertices_list of an HPolygon by default (#1719)

Features

• added functions to (de)activate assertions (#1732)
• added isoperation and isoperationtype functions (#1734)
• added conversion between LazySets.Interval and IntervalArithmetic.Interval (#1764)

Enhancements

• faster method for isdisjoint(::CartesianProductArray, ::HalfSpace) (#1730)
• made box_approximation and ballinf_approximation aliases of overapproximate (#1716)
• added option to compute support function for lazy Intersection containing a polyhedron with the (imprecise but cheap) fallback implementation (#1749)
• inner constructor check in SparseMatrixExp (#1743)
• faster support function/vector for CartesianProductArray and sparse direction vector (#1735)
• conversion from IntervalArithmetic.IntervalBox to LazySets.Hyperrectangle now preserves the representation of intervals as static arrays (#1763)
• various documentation improvements (#1762, #1750)

Bug-fixes

• remove duplicate vertex when applying convex_hull to a set or list consisting of a single point (#1718)
• fixed constrained_dimensions of a polyhedron without constraints (#1752)
• fixed concrete intersection of a CartesianProductArray and a polyhedron without constraints (#1754)