JuliaReach/LazySets.jl v1.5.0

Announcements

This is the last release that supports Julia v0.6.

• added tohrep/tovrep for HPolytope/VPolytope (also fixes σ for VPolytope) (#603)
• added == comparison between set types (#604)
• added conversion from an AbstractHyperrectangle to a polygon or a polytope in constraint representation (#615)
• added low and high methods for all AbstractHyperrectangle types (#618)
• added emptiness check for HPolytopes/VPolytopes and their intersection (#624)
• added a function to control the backend for Polyhedra.jl-related operations (default for Rational numeric types: :exact) (#625)
• added concrete intersection for HPolytope and VPolytope (#633), for polytopic sets (relying on Polyhedra.jl) (#646), for HPolygons (#651), for HalfSpace and HPolytope (#765), and for HPolyhedron and AbstractPolytope (#774)
• added empty intersection check for a compact set with Hyperplane (#650), a HalfSpace (#659), and an HPolytope (#713), and for two HalfSpaces (#782)
• added many convert methods for polytopes (#636)
• added vertices_list for CartesianProduct(Array), LinearMap, and ExponentialMap (#670)
• added lazy intersection (support function only) for a compact set with a HalfSpace and Hyperplane (#677, #685, #694)
• added overapproximate for lazy intersection (support function only) of a polytope with a compact set (#688) and a HalfSpace (#784)
• added support function for most lazy operations (#716, #717, #719)
• added conservative emptiness check option for Intersection (#723)
• added constraints_list methods for VPolygon/VPolytope (#726), LineSegment (#728), Zonotope (#732), Ball1 (#735), HalfSpace (#763), and CartesianProduct(Array) (#761)
• added isempty method for EmptySet (#741)
• added constrained_dimensions method for unbounded sets (#760)
• added HPolyhedron set type (#767)
• added swap method for Intersection (#819)
• added isempty methods for most set types (#859)

• renamed intersect to intersection for HPolytope/VPolytope (to be consistent with other concrete intersections) (#596)
• fixed support for Julia v1.0 (#668)
• fixed vertices_list for Zonotopes in non-2D dimensions (#673)
• fixed support vector for HalfSpace (#748)
• fixed binary method ambiguities (#857, #860)

• renamed interfaces AbstractPointSymmetric and -Polytope to AbstractCentrallySymmetric and -Polytope (#588)
• Improved norm for hyperrectangular sets (#592)
• Faster vertices_list implementation for centrally symmetric polytopes with radius 0 (#590)
• revised plotting of polytopic set types (enabled plotting of 2D VPolytopes without loading Polyhedra.jl; always plot the exact polytope by default (instead of a box approximation)) (#602)
• removed dependencies Plots.jl and GR.jl (#648)
• added aliases CompactSet and NonCompactSet (#649)
• added alias isdisjoint for is_intersection_empty (#655)
• linear_map tries to preserve the input type for polytopes (#636)
• made Interval an AbstractHyperrectangle (#687)
• added boundedness check for support vector of polytope (#711)
• added constraints_list to AbstractPolytope interface (#734)
• support vector for empty HPolytope now raises an error message (#752)
• added a cache to Intersection; now emptiness is determined only once (#796)
• generalized default is_intersection_empty method (#850)
• avoid array insertion in iterative refinement (#863)