JuliaReach/LazySets.jl: v3.1.0

LazySets v3.1.0

Diff since v3.0.0

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)