v3.1.0

LazySets v3.1.0

Diff since v3.0.0

Announcements

Contributors for this release:

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

Features

• convert from AbstractZonotope to DensePolynomialZonotope (#3660)
• AbstractPolynomialZonotope: add center(P, i) (#3769)
• AbstractPolynomialZonotope: add isempty and isuniversal (#3770)
• Star: add center(S, i) (#3771)

Enhancements

• Allow plotting of general 1D sets (#3657)
• Check dimensionality in VPolygon constructor (#3658)
• Check dimensionality in Tetrahedron constructor (#3659)
• Generalize DensePolynomialZonotope constructor (#3660)
• Small improvements for EmptySet (#3663, #3664, #3665, #3666, #3668, #3672, #3685, #3718, #3719, #3723, #3724)
  • add (sometimes only more efficient) implementations of surface, exponential_map, is_interior_point, isapprox, unary convex_hull, convert, copy, permute, difference, distance, linear_combination, minkowski_difference, minkowski_sum, cartesian_product, sample, rationalize
  • let operations throw ArgumentErrors instead of ErrorExceptions
  • unify binary operations, e.g., use the same assertions, and use internal functions in main module
  • use promote_type in linear_map
  • add assertions for in, area
  • revise tests
• Default implementation for exact_sum (#3670)
• Type-preserving copy for Universe and ZeroSet (#3674)
• HPolytope: simplify/fix rand in 1D/2D or for 0/1 vertex and add convert from EmptySet (#3677, #3679)
• VPolytope: fix rand for num_vertices=0 (#3678)
• Let tohrep of an empty VPolgyon not return an EmptySet anymore (which makes the method type stable) (#3688)
• Use affine_map(M, X, v) instead of translate(linear_map(M, X), v) (#3712)
• Revise triangulate (#3713)
• Generalize linear_combination to arbitrary convex sets (#3716)
• Move isdisjoint method to LineSegmentModule (#3740)
• Move methods to HalfSpaceModule (#3742)
• tohrep returns an HPolytope if argument is bounded; tovrep asserts boundedness (#3747)
• Universe: fix rationalize (#3772)
• Compatibility with new versions of optional dependencies (Polyhedra, CDDLib, Makie) (#3780, #3789)

Bug fixes

• Fixes in plotting (#3657)
• Fix isdisjoint for two HalfSpaces (#3696)
• Fix linear_combination (#3716)
• Remove invalid linewidth argument from plot3d (#3786)

Internal changes

• Revise documentation for set types (#3663, #3681, #3683, #3684, #3690, #3693, #3694, #3695, #3696, #3697, #3698, #3699, #3700, #3701, #3702, #3703, #3704, #3706, #3707, #3708, #3717, #3721, #3734, #3745) and set interfaces (#3711, #3732, #3733, #3736, #3737, #3738, #3739, #3746, #3747, #3748, #3749, #3750, #3751, #3752, #3753, #3754, #3755, #3756, #3760, #3762, #3773)
• Improve documentation of exact_sum and linear_combination (#3669)
• Clarify corner case in documentation of minkowski_difference (#3671)
• Remove type parameter from signatures (#3675, #3680, #3682, #3684, #3690, #3693, #3695, #3696, #3698, #3700, #3701, #3703, #3705, #3707, #3728)
• Clarify documentation of chebyshev_center_radius (#3686)
• Remove redundant LazySets. prefix (#3710)
• Revise interface tests (#3727)
• Remove redundanct isconvextype methods (#3734)
• Remove redundant requirements from AbstractPolyhedron interface (#3747)
• Update test dependencies (Polyhedra, CDDLib, Makie) (#3780, #3789)
• Use DocumenterCitations in documentation (#3654)

---

Merged pull requests:

• Use DocumenterCitations (#3654) (@schillic)
• Automatic JuliaFormatter.jl run (#3655) (@github-actions[bot])
• Count invalidations on latest Julia version (#3656) (@schillic)
• Revision of plotting (#3657) (@schillic)
• Check dimensionality in VPolygon constructor (#3658) (@schillic)
• Check dimensionality in Tetrahedron constructor (#3659) (@schillic)
• DensePolynomialZonotope: constructor and convert (#3660) (@schillic)
• EmptySet minor revision (#3663) (@schillic)
• EmptySet: minor revision (#3664) (@schillic)
• fix cartesian_product with EmptySet (#3665) (@schillic)
• Assertion in in for EmptySet (#3666) (@schillic)
• EmptySet: fix and merge binary convex_hull (#3668) (@schillic)
• Improve documentation of exact_sum and linear_combination (#3669) (@schillic)
• Default implementation for exact_sum (#3670) (@schillic)
• Clarify corner case in minkowski_difference documentation (#3671) (@schillic)
• EmptySet: additional functionality (#3672) (@schillic)
• Type-preserving copy for Universe and ZeroSet (#3674) (@schillic)
• Interval: remove type parameter from signatures (#3675) (@schillic)
• HPolytope: simplify rand in 1D/2D or for 1 vertex (#3677) (@schillic)
• VPolytope: fix rand for num_vertices=0 (#3678) (@schillic)
• HPolytope: fix rand and add convert from EmptySet (#3679) (@schillic)
• EmptySet: remove type parameter from signature (#3680) (@schillic)
• Revise docs for several set types (#3681) (@schillic)
• Remove type parameter from signatures (#3682) (@schillic)
• Revise some docs entries (#3683) (@schillic)
• Zonotope: revise docs entries, shorten docs, shorten signature (#3684) (@schillic)
• EmptySet: add missing test case (#3685) (@schillic)
• Clarify documentation of chebyshev_center_radius (#3686) (@schillic)
• Make tohrep of VPolgyon type stable (#3688) (@schillic)
• Automatic JuliaFormatter.jl run (#3689) (@github-actions[bot])
• Star: revise docs entries, shorten docs, shorten signature (#3690) (@schillic)
• Hyperrectangle: revise docs entries, shorten docs, shorten signature (#3691) (@schillic)
• Hyperplane: revise docs entries, shorten docs, shorten signature, move isdisjoint method (#3693) (@schillic)
• Revise docs of some set types (#3694) (@schillic)
• HParallelotope: revise docs entries, shorten docs, shorten signature (#3695) (@schillic)
• HalfSpace: revise docs entries, shorten docs, shorten signatures, move and fix isdisjoint method (#3696) (@schillic)
• Line: revise docs entries, shorten docs (#3697) (@schillic)
• Line2D: revise docs entries, shorten docs, move isdisjoint method (#3698) (@schillic)
• Move imports (#3699) (@schillic)
• VPolygon: revise docs entries, shorten docs, shorten signature (#3700) (@schillic)
• HPolygon: revise docs entries, shorten docs, shorten signatures (#3701) (@schillic)
• Polygon: revise docs entries, shorten docs (#3702) (@schillic)
• VPolytope: revise docs entries, shorten docs, shorten signatures (#3703) (@schillic)
• HPolyhedron/HPolytope: revise docs entries, shorten docs (#3704) (@schillic)
• Shorten signatures of interfaces (#3705) (@schillic)
• DensePolynomialZonotope: revise docs entries, shorten docs (#3706) (@schillic)
• SimpleSparsePolynomialZonotope: revise docs entries, shorten docs, shorten signatures (#3707) (@schillic)
• SparsePolynomialZonotope: revise docs entries, shorten docs (#3708) (@schillic)
• Automatic JuliaFormatter.jl run (#3709) (@github-actions[bot])
• Remove redundant LazySets. prefix (#3710) (@schillic)
• AbstractAffineMap: revise docs entries, shorten docs (#3711) (@schillic)
• Use affine_map(M, X, v) instead of translate(linear_map(M, X), v) (#3712) (@schillic)
• Revise triangulate (#3713) (@schillic)
• Fix and generalize linear_combination (#3716) (@schillic)
• Add docs for some functions to set types (#3717) (@schillic)
• EmptySet: add rationalize (#3718) (@schillic)
• EmptySet: add assertion to area (#3719) (@schillic)
• Fix some docs entries (#3721) (@schillic)
• Fix distance between EmptySets (#3723) (@schillic)
• Split tests for unary and binary convex_hull (#3724) (@schillic)
• Revise interface tests (#3727) (@schillic)
• Shorten signatures of lazy operations (#3728) (@schillic)
• AbstractCentrallySymmetric: revise docs entries, shorten docs (#3732) (@schillic)
• ConvexSet: revise docs entries (#3733) (@schillic)
• Remove redundanct isconvextype methods (#3734) (@schillic)
• AbstractPolyhedron: revise docs entries, shorten docs (#3736) (@schillic)
• AbstractPolytope: revise docs entries, shorten docs (#3737) (@schillic)
• Concrete binary operations: revise docs entries, shorten docs (#3738) (@schillic)
• Fix math mode in docstring (#3739) (@schillic)
• LineSegment: move isdisjoint to module (#3740) (@schillic)
• HalfSpace: move methods to module (#3742) (@schillic)
• Remove wrong references to center in docs (#3745) (@schillic)
• AbstractBallp: revise docs entries, shorten docs (#3746) (@schillic)
• AbstractPolygon: remove requirements, revise docs entries, shorten docs (#3747) (@schillic)
• AbstractCentrallySymmetricPolytope: revise docs entries, shorten docs (#3748) (@schillic)
• AbstractZonotope: revise docs entries, shorten docs (#3749) (@schillic)
• Add missing docs entries (#3750) (@schillic)
• AbstractHyperrectangle: revise docs entries, shorten docs (#3751) (@schillic)
• AbstractSingleton: revise docs entries, shorten docs (#3752) (@schillic)
• AbstractPolynomialZonotope: revise docs entries, shorten docs (#3753) (@schillic)
• AbstractSparsePolynomialZonotope: revise docs entries, shorten docs (#3754) (@schillic)
• LazySet: revise docs entries, shorten docs (#3755) (@schillic)
• Move missing docs of binary operations to interface docs (#3756) (@schillic)
• Revise docstring of LazySet (#3760) (@schillic)
• Mention standard implementations in interface docstrings (#3762) (@schillic)
• Automatic JuliaFormatter.jl run (#3765) (@github-actions[bot])
• Fix docs/Project.toml (#3767) (@schillic)
• AbstractPolynomialZonotope: define center(P, i) (#3769) (@schillic)
• AbstractPolynomialZonotope: define isempty and isuniversal (#3770) (@schillic)
• Star: add center(S, i) (#3771) (@schillic)
• Universe: fix rationalize (#3772) (@schillic)
• Add delaunay, polyhedron, tosimplehrep to docs for all interfaces and sets (#3773) (@schillic)
• Update test dependencies (Polyhedra, CDDLib) (#3780) (@schillic)
• Remove invalid linewidth argument from plot3d (#3786) (@schillic)
• Allow Makie v0.22 in tests (#3789) (@schillic)
• v3.1.0 (#3790) (@schillic)

Closed issues:

• Add halfspace_left and halfspace_right for Line (#409)
• Shortest distance to a point (#1757)