LazySets.jl Files

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)

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)