v1.1.0

Features

• added is_intersection_empty for two Ball2s
• added (high-dimensional) HPolytope type
• added (partial) lazy Intersection type
• added lazy SymmetricIntervalHull type
• added Ellipsoid type
• added Hyperplane and HalfSpace types
• added ConvexHullArray type
• added concrete operations on zonotopes
• added external Polyhedra library
• improved support for numeric types such as Rational

Bug fixes

• fixed 2D Hyperrectangle decomposition
• fixed inverted behavior of is_intersection_empty
• fixed some plot recipes for numeric types
• fixed partial y-axis labels in documentation plots
• fixed support vector for Ball1
• fixed method ambiguities for is_subset and is_intersection_empty

Minor changes

• added an assertion to check congruence to the LinearMap constructor
• added required numeric type to LazySet and all subtypes