There is a newer version of the record available.

Published January 4, 2019 | Version v1.5.2
Software Open

JuliaReach/LazySets.jl: v1.5.2

Authors/Creators

  • 1. UdelaR
  • 2. Massey University

Description

Note: this release is fully compatible with Julia v0.7/1.0 and also with Julia v0.6.

Features
  • added constrained_dimensions method for HPolyhedron (#933)
  • binary concrete convex_hull now removes redundant vertices (#944)
  • added ρ for unbounded Hyperplane and HalfSpace (#940)
  • added isbounded methods for all set types (#956)
Bug fixes
  • fixed issubset and box approximation methods for EmptySet (#931)
Minor changes
  • added lazy decompose method using LinearMap (#935)
  • added dimensionality assertions in convex_hull (#945)
  • remove redundant vertices by default in higher-dimensional convex hull with Polyhedra (#944)
  • update plotting recipes for polytopes (#937)
  • low/high for Interval is now consistent with corresponding methods for other AbstractHyperrectangle set types; use min/max for the old behavior (#959)

Files

JuliaReach/LazySets.jl-v1.5.2.zip

Files (330.0 kB)

Name Size Download all
md5:e238b090def06b8a49a2432c35818fcd
330.0 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/JuliaReach/LazySets.jl/tree/v1.5.2 (URL)