Skip to content

v1.2.0
Compare
Choose a tag to compare
@mforets mforets released this 08 Apr 14:52
· 5187 commits to master since this release
v1.2.0
3b87093
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.

Features

  • added intersection check for Zonotope and Hyperplane (#208)
  • added order reduction for Zonotopes (#211)
  • added default an_element function implementation (#216)
  • added VPolytope (#217)
  • added array getter for n-ary operations (#226)
  • added conversion between some set types (#225, #227)
  • added PolynomialZonotope (#184), then moved to PolynomialZonotopes.jl
  • added a convex hull of zonotopes overapproximate method into a zonotope (#229)
  • added LineSegment (#231)
  • generalized decomposition into arbitrary block structures (#259, #282)
  • added Interval (#277, #316)

Bug fixes

  • fixed scalar multiplication of LinearMap (#204)
  • fixed sparse direction in support vector computation of ExponentialMap (#207)
  • fixed plotting of a vector of Zonotopes (2e779b9)
  • fixed membership test for Zonotopes (#247)
  • fixed singleton_list function (#252)
  • fixed containment of CartesianProductArray (#252)
  • fixed assertion error in iterative refinement (#260)
  • fixed plot recipes for polytopes (#276)
  • fixed slowdowns with support vector functions (#291, #294)
  • fixed creation of empty HPolygons/HPolytopes (#320)

Minor changes

  • Line became a LazySet type (#233)
  • better error message for support vector of empty HPolytope (#252)
  • more consistent array set types (#236, #268)
  • overapproximate(S) now returns an n-dimensional Hyperrectangle (#271, #289)
  • changed output type of ExponentialMap's get_rows/get_columns to dense matrices (#304)
  • revised SparseMatrixExp (#307, #309, #312, #313)
Assets 2
Loading