Skip to content

v1.16.0
Compare
Choose a tag to compare
@julia-tagbot julia-tagbot released this 07 Aug 13:54
v1.16.0
This tag was signed with the committer’s verified signature.
JuliaTagBot Julia TagBot
GPG key ID: D8FCFD329B063E7E
Learn about vigilant mode.
8644313
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

This release was prepared during JuliaReachDays1.

Announcements

  • the functionality of the Approximations module is now exported (this adds the new package requirement Reexport) (#1567)

Breaking changes

  • we now return a Diagonal matrix for get_A(::ResetMap) (#1522)
  • added explicit requirement that SymmetricIntervalHull is only applied to a bounded set (#1525)
  • we now explicitly check that low < high in the corresponding
    Hyperrectangle constructor (#1520)

Features

  • optional global tolerance setting for numeric comparisons (#1510)
  • concrete Minkowski sum in halfspace representation (#1508)
  • added lazy AffineMap set type (#1360)
  • support function for Rectification (#1381)
  • added CustomDirections and isbounding methods for AbstractDirections (#1293)
  • added concrete rectification for hyperrectangular sets (#1552)
  • added constraints_list of a polyhedral MinkowskiSum (#1569)

Enhancements

  • generalized some is_intersection_empty methods to AbstractPolyhedron (#1501)
  • added internal methods right_turn(u, v) and is_right_turn(O, u, v) (#1514)
  • defined absorbing elements for map types (#1519)
  • generalized isdisjoint(::CPA, ::HPolyhedron) to AbstractPolyhedron (#1502)
  • declared neutral element of UnionSet (#1516)
  • asserted compactness in some support-function methods of Intersection and generalized to AbstractPolyhedron (#1517)
  • faster intersection check between CartesianProductArray and AbstractHyperrectangle (#1458)
  • faster support vector/function for BallInf (#1466)
  • use LazySets._rtol in the Approximations module instead of TOL (#1554)
  • faster vertices_list for AbstractHyperrectangles (particularly flat ones) (#1467)
  • remove redundancies in zonotope's vertices list (#1550)
  • generalized inclusion check of a LazySet in a polyhedral LazySet (previously: LazySet in an AbstractPolyhedron) (#1566)
  • concrete minkowski_sum of two AbstractHyperrectangles now returns a Hyperrectangle (#1568)

Bug fixes

  • fixed is_intersection_empty of Universe and Hyperplane
    (#1501)
  • conversion from a Polyhedra.Halfspace whose normal direction is ignored (#1542)
  • fixed repeated-constraint removal from list of constraints (#1549)
Assets 2
Loading