Skip to content

v1.13.0

Compare
Choose a tag to compare
@julia-tagbot julia-tagbot released this 13 Jun 22:13
· 3350 commits to master since this release
v1.13.0
a5545ae

Breaking changes

  • SparseMatrixExp and ProjectionSparseMatrixExp received new type parameters for the matrices (#1401)
  • removed Compat requirement and dropped remaining support for pre-v1.0-Julia versions (#1406)
  • added a type parameter to HalfSpace for the direction vector; removed the numeric-type convert method for HalfSpace (#1412)

Features

  • added lazy Rectification operation (#1372, #1376)
  • added isapprox () between LazySets (#1409)
  • added decomposed linear map of a CartesianProductArray (via overapproximate) (#1419)
  • added TaylorModel overapproximation using a Zonotope (#1433)

Bug fixes

  • consistently return an EmptySet if the concrete intersection of two AbstractPolyhedron instances is empty (#1414)

Enhancements

  • VPolygon has a new parameter for the type of vector of the vertices (#1385)
  • generalized sparse-matrix types (SparseMatrixExp, ProjectionSparseMatrixExp, isinvertible) (#1401)
  • improved plotting of LazySets (1D sets can be plotted; vectors of sets now use individual plot recipes, which can be circumvented with a new fast option if compilation is too heavy) (#1400, #1426)
  • faster convex hull of a triangle (#1411)
  • the list of vertices of a lazy linear map now computes their convex hull by default and is controlled with the prune keyword argument (#1428)