UPDATE: Zenodo migration postponed to Oct 13 from 06:00-08:00 UTC. Read the announcement.
There is a newer version of this record available.

Software Open Access

JuliaReach/LazySets.jl: v2.7.3

Christian Schilling; Marcelo Forets; Luca Ferranti; Sebastián Guadalupe; kpotomkin; Mauricio Vanzulli; ueliwechsler; Bruno Garate; tomerarnon; Daniel Freire Caporale; Ryan Birmingham; nikos-kekatos; Frederik Baymler Mathiesen; Lasse Peters; Aadesh Deshmukh; David Reguera; Gustavo Goretkin; Julia TagBot; Morten Piibeleht; Peng Yu; viryfrederic

LazySets v2.7.3

Diff since v2.7.2

Closed issues:

  • Overapproximate polynomial zonotope with zonotope (#230)
  • Add examples for constructors and remove code copy (#232)
  • Support vector computation for a polynomial zonotope (#239)
  • Document formatter=identity (#305)
  • Caching lazy set operations (#351)
  • Forbid degenerate cases (#422)
  • Zonotope-zonotope intersection emptiness in 3D (#1267)
  • Generalize exponential backend in symmetric_interval_hull methods (#3117)
  • AbstractStar is recognized as a concrete set type (#3194)
  • Implement Tetrahedron type (#3258)
  • Implement efficient point in tetrahedron check (#3259)

Merged pull requests:

  • Fix function error (raise -> throw) (#3252) (@schillic)
  • #3117 - Generalize exponential backend in symmetric_interval_hull methods (#3253) (@schillic)
  • More reflect methods and docs/tests (#3254) (@schillic)
  • Add ngens methods (#3255) (@schillic)
  • Add complement methods (#3256) (@schillic)
  • Let generators of LineSegment return an iterator (#3257) (@schillic)
  • Add option to get 2D Delaunay triangulation for 3D sets (#3260) (@schillic)
  • #3194 - Remove AbstractStar interface (#3261) (@schillic)
  • #230 - Overapproximate DensePolynomialZonotope with Zonotope (#3262) (@schillic)
  • Add Tetrahedron set type (#3263) (@mforets)
  • Revise interface tests (#3264) (@schillic)
  • import IntervalArithmetic as IA (#3265) (@schillic)
  • #232 - Remove constructor lists from docs (#3266) (@schillic)
  • Membership check for Tetrahedron (#3267) (@mforets)
Files (711.5 kB)
Name Size
JuliaReach/LazySets.jl-v2.7.3.zip
md5:51570a73b71b9ff5101148e093857441
711.5 kB Download
1,719
1,571
views
downloads
All versions This version
Views 1,7198
Downloads 1,5711
Data volume 798.2 MB711.5 kB
Unique views 1,5807
Unique downloads 2511

Share

Cite as