v1.31.0

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Breaking changes

• Remove constructors with type parameters (#1946); example:

julia> L = rand(Line)
Line{Float64,Array{Float64,1}}([-0.2136845071974417, 0.5915837264964181], -1.3883907003470708)

julia> Line{Float64,Array{Float64,1}}(L.a, L.b)  # not possible anymore

julia> Line(L.a, L.b)  # omit the type parameters instead

• The concrete Minkowski sum for intervals now returns an interval (#2026).

• Make + operator lazy for intervals (#2038)

Features

• New lazy Projection constructor (#1967)
• New VPolytope constructor from the columns of a matrix (#2005)
• Add check_posdef for checking positive definiteness an optional flag in the Ellipsoid constructor (#2007)
• Add a new flag check_bounds to the Hyperrectangle constructor, to switch off/on the check that the radius is positive (#2018)

Enhancements

• More efficient genmat_fallback implementation (#1981)
• More efficient symmetric interval hull for intervals (#2021)
• Add a vector parameter for the center of a ball in the 2-norm, Ball2 (#2024)
• Faster concrete minkowski sum for intervals (#2026)
• Add getter function for the shape matrix of an ellipsoid (#2016)
• Add type parameter to Ellipsoid (#2031)
• Add type parameter to BallInf (#2034)
• Faster concrete symmetric interval hull for hyperrectangles (#2030)