lazysets.jl - v5.0.0

LazySets v5.0.0

Diff since v4.0.1

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Alessandro Carraro (alecarraro)
• Prajwal (crisiumnih)

Breaking changes

• Add @validate macro to validate inputs; this is mildly breaking in cases where invalid inputs were previously (unintentionally) accepted (#3939, #3943, #3947, #3992, #3994, #3963, #4006, #3964, #3960)
• Extend ExponentialMap to support MatrixZonotopeExps and rename spmexp field to expmat (use the matrix getter to be unaffected by this change) (#3970)
• Extend LinearMap to support AbstractMatrixZonotopes (#3969)
• Rename stack fields to directions for some template directions (#3921)
• Remove methods for IntervalArithmetic types (#3945)

Features

• Add ZonotopeMD including cartesian_product (#3837, #3848, #3851)
• Add new zonotope order reduction method (#3827, #3849)
• Add sampler for sparse polynomial zonotopes (#3847, #3854)
• Add area for 3D sets (interpreted as the surface area) (#3852, #3898)
• Add scale for SparsePolynomialZonotope (#3908, #3911)
• Add distance to point for Universe (#3881)
• Add merge_id and generalize exact_sum for SparsePolynomialZonotope (#3905)
• Generalize SparsePolynomialZonotope methods to AbstractSparsePolynomialZonotope (#3859)
• Add linear_combination for AbstractSparsePolynomialZonotope (#3929)
• Add overapproximate of the l1 norm for AbstractZonotope (#3925, #3938)
• Refactor and extend MatrixSets module (#3933, #3940, #3967, #3966, #3985)
• Add rationalize for Interval (#3890)
• Add overapproximate of ConvexHull(::AbstractSparsePolynomialZonotope,::AbstractSparsePolynomialZonotope) with SparsePolynomialZonotope (#3777)
• Add an_element for Polygon (#3882)
• Add translate! for AbstractSparsePolynomialZonotopes (#3935)
• Add norm and overapproximate_norm for MatrixZonotope (#3941, #3948)
• Add linear_map for AbstractMatrixZonotope and SparsePolynomialZonotope (#3969)
• Add overapproximate for LinearMap between AbstractMatrixZonotope and SparsePolynomialZonotope (#3975)
• Add linear_map_inverse for EmptySet (#3887)
• Add isuniversal for AbstractAffineMap (#3744)
• Add witness option to isempty for EmptySet (#3884)
• Add linear_combination and convex_hull for AbstractPolynomialZonotope (#3778)
• Add overapproximate for ExponentialMap of AbstractMatrixZonotope with SparsePolynomialZonotope and AbstractZonotope (#3979, #3982)
• Add overapproximate for ExponentialMap of AbstractMatrix with SparsePolynomialZonotope (#3984)
• Add remove_redundant_generators for matrix (#3988)
• Add overapproximate for MatrixZonotope with IntervalMatrix (#3996)
• Add overapproximate for MatrixZonotopeProduct with MatrixZonotope (#3996)
• Add order, reduce_order, remove_redundant_generators, and minkowski_sum for MatrixZonotope (#3999)

Enhancements

• Add and improve some assertions (#3865)
• Improve error message for Ball*s (#3868)
• Simplify affine_map_inverse (#3873)
• Faster support_vector for Universe (#3902)
• Better intersection with Interval and other set (#3913)
• Use RejectionSampler for AbstractHyperrectangles (#3916)
• Add assertion about SparsePolynomialZonotope.idx length (#3931)
• Faster 1-norm for AbstractZonotope (#3924)
• Generalize overapproximate to AbstractSparsePolynomialZonotope (#3934)
• Allow to construct H-rep from mixed numeric types (#3776, #3944)
• Let 1D linear_map of zonotopic set remove redundant generator (#3764)
• Split translate for AbstractSparsePolynomialZonotopes (#3935)
• Throw error in an_element of negative Bloating (#3957)
• Faster overapproximate of SparsePolynomialZonotope with UnionSetArray{<:Zonotope} (#3855)
• Support witness option of isuniversal for Polygon (#3978)
• Make isapprox the main definition of ≈ (#3923)
• Add isempty witness for AbstractCentrallySymmetric (#3899)
• Let isequivalent for AbstractSingletons use approximate comparisons (#3909)
• Use _isapprox instead of isapprox (#3928)
• Better isequivalent for AbstractSingleton and AbstractHyperrectangle (#3910)
• Faster remove_redundant_generators for matrices/zonotopes (#3998)
• Add some isconvextype special cases for Rectification (#3775)
• Move convert method to SimpleSparsePolynomialZonotopeModule (#4010)

Bug fixes

• Fix missing import for radius of Interval (#3862)
• Fix area for Universe (#3898)
• Fix rectify for Universe (#3901)
• Fix SparsePolynomialZonotope.idx in convert (#3931)
• Fix ispolyhedral for UnionSet (#3878)
• Fix error message in convert to HPolygon* (#3776)
• Fix overapproximate of AbstractSparsePolynomialZonotope with UnionSetArray{Zonotope} if there are no dependent generators (#3971)
• Fix IDs in minkowski_sum and cartesian_product between SparsePolynomialZonotope and AbstractZonotope (#3977)
• Fix IDs in linear_map for SparsePolynomialZonotope (#3980)
• Fix IDs in remove_redundant_generators for SparsePolynomialZonotope (#3979)
• Fix remove_redundant_generators for SparsePolynomialZonotope not removing all redundancies (#3986)
• Fix an_element fallback for unbounded sets (#3763)
• Fix isbounded necessary check for AbstractPolyhedron (#3774)

Internal changes

• Move isfeasible to Utils folder (#3759)
• Add missing binary convex_hull entries in docs (#3850)
• Revise tests for Interval (#3860, #3870, #3891, #3912, #3915, #3956)
• Revise tests for EmptySet and Universe (#3861, #3870, #3880, #3914, #3956)
• Turn some one-liners into long functions (#3863)
• Add some tests for Line2D, Star, ZeroSet, and Ball*s (#3864)
• Rename variable to avoid warning (#3866)
• Fix documentation of AbstractHPolygon (#3867)
• Use eachcol (#3871)
• Use witness helper functions (#3872)
• Use capital letters for Intervals (#3874)
• Bump compat for Makie to v0.24 in tests (#3886)
• Add missing documentation (#3768)
• Make set tests standalone executable (#3903, #3983, #3987, #3990, #4007)
• Remove Makie test dependency (#3894)
• Fix documentation of CombinedSampler (#3918)
• Add note to documentation of == and ≈ (#3919)
• Remove direct dependency of IntervalModule on UnionSet (#3920)
• Fix test (#3927)
• Inline one-line helper functions (#3758)
• Remove unused internal PolynomialZonotope alias (#3922)
• Unify order of N in tests (#3937)
• Test rand with Float32 (#3936)
• Add macro to only run Float64 tests (#3949)
• Revise docs of is_interior_point (#3951)
• Revise tests for SimpleSparsePolynomialZonotope (#3952)
• Remove documentation for aliases (#3926)
• Deactivate Windows CI run (#3993)
• Fix creation of tagged docs versions (#3995, #4005)

---

Closed issues: - Add matrix zonotopes (#1030) - Concrete cartesian product of zonotopes in standard form (#2739) - Add definition of area for other set (#3814) - Edge case of 'removeredundantgenerator' function for SPZ (#3955) - Make overapproximate more robust (#3971) - Let minkowski_sum of SparsePolynomialZonotope preserve index vector (#3976)

- Julia
Published by github-actions[bot] 6 months ago

lazysets.jl - v4.0.1

LazySets v4.0.1

Diff since v4.0.0

Merged pull requests: - Automatic JuliaFormatter.jl run (#3843) (@github-actions[bot]) - #3844 - Make box_approximation of polyhedral Intersections precise and work (#3845) (@schillic)

Closed issues: - box_approximation over interection(<unbounded set>, ::AbstractPolytope) throws assertion error (#3844)

- Julia
Published by github-actions[bot] 9 months ago

lazysets.jl - v4.0.0

LazySets v4.0.0

Diff since v3.1.0

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Prajwal (@crisiumnih) (first-time contributor)
• Alessandro Carraro (@alecarraro) (first-time contributor)
• Frederik Baymler Mathiesen (@Zinoex)

Breaking changes

• Remove constructors from HRep/VRep (use convert instead) (#3715)
• Remove scalar linear_map (use scale instead) (#3729)
• Remove surface function (#3816)
• EmptySet: redefine norm/radius/diameter to 0 (instead of throwing an error) (#3667)
• Revise plot recipe of small or flat 2D sets; this may change the plotting of sets in some cases (#3822)
• Rename delaunay → triangulate and triangulate → triangulate_faces and export symbols (#3804)

Features

• Add distance between point and EmptySet (#3722)
• Add minimal-area rotated rectangle overapproximation of a polygon (#3795, #3796)
• Add constrained_dimensions for EmptySet (#3803)
• Add volume for Universe (#3807)
• Add isuniversal to Translation (#3809)
• Add isuniversal for Polygon (#3810)
• Add concretize for several lazy set operations (#3726)
• Add convenience function to create a unary lazy ConvexHull (#3815)
• Add overapproximate of SPZ to VPolytope (#3821, #3841)
• Add volume for AbstractAffineMap with square matrix (#3743)

Enhancements

• Add distance between point and set to API (#3722)
• Check dimensionality in minkowski_sum method (#3799)
• Allow ≈ for EmptySets of different dimension (#3802)
• Let exponential_map of EmptySet check for square matrix (#3806)
• Let diameter/radius/norm for Universe throw ArgumentError (#3807)
• Change input validation for linear_map to assertion (#3807)
• Let permute/project/ρ/σ for Universe validate inputs (#3807, #3808)
• Let affine_map/is_interior_point/isequivalent/isstrictsubset/minkowski_difference validate inputs (#3807, #3808)
• Fix sample/convex_hull/difference/distance/minkowski_sum/intersection/isdisjoint/issubset/linear_combination/minkowski_difference for Universe (#3808)
• Add binary convex_hull method to API (#3662)
• Change default implementation of scale (to be more reliable) (#3730)
• Outsource common code in concretize of lazy array operations (#3831)
• Outource common code in BoxDiagDirections and reduce allocations (#3832, #3840)

Bug fixes

• Fix numeric type in cartesian_product of Universes (#3798)
• Fix some disambiguation methods (#3813)
• Fix 2D convex_hull with -0.0 entries (#3797)
• Fix distance of point and Line (now unsupported with non-Euclidean norm) (#3788)
• Fix minkowski_difference for polyhedron and bounded set (#3741)
• Fix minkowski_sum for 2D polygons (#3838)

Internal changes

• Collect references in docstrings (#3792, #3794)
• Shorten some links in documentation (#3793)
• Revise documentation of volume (#3714)
• Revise tests for EmptySet (#3800, #3805, #3811, #3812)
• Revise tests for Universe (#3801, #3805, #3811, #3812)
• Use intersection and cartesian_product method from EmptySetModule (#3812)
• Collect disambiguation code at bottom of files (#3813)
• Move ○ to AbstractCentrallySymmetric (#3761)
• ConvexSet: make σ a required method (#3735)
• Add isparametrictype trait (#3725)
• Allow TaylorModels v0.8 in tests and documentation (#3826)

---

Merged pull requests: - Add binary convex_hull method to API module (#3662) (@schillic) - EmptySet: redefine norm/radius/diameter (#3667) (@schillic) - Revise documentation of volume (#3714) (@schillic) - Remove constructors from HRep/VRep (#3715) (@schillic) - Add distance between point and set to API (#3722) (@schillic) - Add isparametrictype trait (#3725) (@schillic) - Revise concretize (#3726) (@schillic) - Remove scalar linear_map (#3729) (@schillic) - Change default implementation of scale (#3730) (@schillic) - ConvexSet: make σ a required method (#3735) (@schillic) - Fix minkowski_difference for polyhedron and bounded set (#3741) (@schillic) - AbstractAffineMap: add volume method (#3743) (@schillic) - Move ○ to AbstractCentrallySymmetric (#3761) (@schillic) - Fix distance of point and Line (#3788) (@schillic) - Automatic JuliaFormatter.jl run (#3791) (@github-actions[bot]) - Collect references in docstrings (#3792) (@schillic) - Shorten some links (#3793) (@schillic) - Flip order of bibliography in docs (#3794) (@schillic) - Add minimal-area rotated hyperrectangle overapproximation (#3795) (@crisiumnih) - Improve documentation (#3796) (@schillic) - Fix incorrect convex hull with -0.0 (#3797) (@crisiumnih) - Fix numeric type in cartesian_product of Universes (#3798) (@schillic) - Check dimensionality in minkowski_sum method (#3799) (@schillic) - Revise tests for EmptySet (#3800) (@schillic) - Revise tests for Universe (#3801) (@schillic) - Allow ≈ for EmptySets of different dimension (#3802) (@schillic) - Add constrained_dimensions for EmptySet (#3803) (@schillic) - Rename and export delaunay and triangulate (#3804) (@schillic) - Minor revision of tests (#3805) (@schillic) - Let exponential_map of EmptySet check for square matrix (#3806) (@schillic) - Fixes for Universe (#3807) (@schillic) - Fixes for Universe (#3808) (@schillic) - Add isuniversal for Translation (#3809) (@schillic) - Add isuniversal for Polygon (#3810) (@schillic) - Add more tests for Universe (#3811) (@schillic) - Use helper methods from EmptySetModule and revise tests (#3812) (@schillic) - Collect disambiguation code (#3813) (@schillic) - Add alias for unary ConvexHull (#3815) (@schillic) - Remove surface function (#3816) (@schillic) - Automatic JuliaFormatter.jl run (#3817) (@github-actions[bot]) - Automatic JuliaFormatter.jl run (#3818) (@github-actions[bot]) - overapproximation of SPZ to VPolytope (#3821) (@crisiumnih) - Revise plot recipe of small or flat 2D sets (#3822) (@schillic) - Allow TaylorModels v0.8 (#3826) (@schillic) - Automatic JuliaFormatter.jl run (#3829) (@github-actions[bot]) - Use old JuliaFormatter version (#3830) (@schillic) - #3169 - Outsource common concretize code of lazy array operations (#3831) (@alecarraro) - #2768 - Outource common code in BoxDiagDirections (#3832) (@alecarraro) - Increase CI test time (#3835) (@schillic) - Fix _minkowski_sum_vrep_2d (#3838) (@Zinoex) - Clean up code (#3840) (@schillic) - Simplify overapproximate of SPZ to VPolytope (#3841) (@schillic) - v4.0.0 (#3842) (@schillic)

Closed issues: - Shared code in DiagDirections and BoxDiagDirections (#2768) - Overapproximate polygon with minimal-area rotated hyperrectangle (#2903) - Outsource common code to implement concretize of lazy array operations (#3169) - Convex hull algorithm in 2D sensitive to numeric precision (#3455) - Incorrect minkowski_sum for polygons (#3836)

- Julia
Published by github-actions[bot] 10 months ago

lazysets.jl - 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 halfspaceleft and halfspaceright for Line (#409) - Shortest distance to a point (#1757)

- Julia
Published by github-actions[bot] about 1 year ago

lazysets.jl - v3.0.0

LazySets v3.0.0

Diff since v2.14.2

Announcements

Contributors for this release:

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

Breaking changes

• Adapt to Symbolics v6.1 (old versions are not supported anymore) (#3637)
• Rename functions starting with is_ consistently; in particular, rename is_polyhedral → ispolyhedral and is_hyperplanar → ishyperplanar (#3627)
• Remove RotatedHyperrectangle (#3592)
• Disallow box_approximation for unbounded sets (#3553)
• Remove + and - methods for Interval (#3614)
• Let remove_redundant_constraints return an empty list if infeasible (#3623)

Features

• Add general case to linear_map of Hyperplane (#3612)
• Add point in Polygon check (#3628)

Enhancements

• Add polyhedral check for complement method (#3562)
• Avoid repeated creation of zero_box/sym_box (#3609)
• Remove redundant convert methods (#3561)
• Fast low/high/extrema for polyhedra (#3617)

Bug fixes

• Fix intersection of LineSegments (#3630)
• Fix VPolygon constructor in pre-v1.9 versions (#3650)
• Fix HPolytope constructor with old Symbolics version (#3651)
• Fix direction in alternative Line constructor (#3567)

Internal changes

• Allow Symbolics v6.1 and SetProg v0.4 in tests (#3637)
• Add commits since last release to README (#3639)
• Merge metaprogramming loops (#3613)
• Rename and move helper function arg_minmax (#3621)
• Remove unused function minmax (#3620)
• Split convert.jl into smaller files (#3618)
• Allow IntervalMatrices v0.11 in tests (#3643)
• Fix invalidations CI run (#3646)
• Use Aqua v0.8.9 to test only for local ambiguities (#3645)
• Update doctest for Julia v1.11 (#3647)
• Bump codecov/codecov-action from 4 to 5 (#3648)
• Revise documentation of Interval operations (#3551)
• Make SymEngine tests robust for old Julia versions (#3652)
• Use hcat in tests for old Julia versions (#3653)

---

Merged pull requests: - Revise documentation of Interval operations (#3551) (@schillic) - Disallow box_approximation for unbounded sets (#3553) (@schillic) - Remove redundant convert methods (#3561) (@schillic) - Add polyhedral check for complement method (#3562) (@schillic) - Fix direction in alternative Line constructor (#3567) (@schillic) - Remove RotatedHyperrectangle (#3592) (@schillic) - #3495 - Avoid repeated creation of zero_box/sym_box (#3609) (@schillic) - Finish linear_map of Hyperplane (#3612) (@schillic) - Merge metaprogramming loops (#3613) (@schillic) - #3282 - Remove + and - methods for Interval (#3614) (@schillic) - #3419 - Fast low/high/extrema for polyhedra (#3617) (@schillic) - Split convert.jl into smaller files (#3618) (@schillic) - Remove unused minmax function (#3620) (@schillic) - Rename and move helper function (#3621) (@schillic) - Let remove_redundant_constraints return an empty list if infeasible (#3623) (@schillic) - Rename functions with is_ consistently (#3627) (@schillic) - #3126 - Point in Polygon check (#3628) (@schillic) - #3629 - Fix intersection of LineSegments (#3630) (@schillic) - Adapt to Symbolics v6.1; allow SetProg v0.4 in tests (#3637) (@schillic) - Automatic JuliaFormatter.jl run (#3638) (@github-actions[bot]) - Add commits since last release to README (#3639) (@schillic) - Bump peter-evans/create-pull-request from 6 to 7 (#3640) (@dependabot[bot]) - Rename function (#3641) (@schillic) - Allow IntervalMatrices v0.11 in tests (#3643) (@schillic) - Automatic JuliaFormatter.jl run (#3644) (@github-actions[bot]) - Aqua v0.8.9 tests only for local ambiguities (#3645) (@schillic) - Fix invalidations CI run (#3646) (@schillic) - Update doctest for Julia v1.11 (#3647) (@schillic) - Bump codecov/codecov-action from 4 to 5 (#3648) (@dependabot[bot]) - v3.0.0 (#3649) (@schillic) - Fix VPolygon constructor in pre-v1.9 versions (#3650) (@schillic) - Fix HPolytope constructor with old Symbolics version (#3651) (@schillic) - Make SymEngine tests more robust (#3652) (@schillic) - Use hcat in tests (#3653) (@schillic)

Closed issues: - Add point in nonconvex Polygon check (#3126) - Remove + and - methods for Interval (#3282) - Faster extrema of HPolytope/HPolyhedron in 1D (#3419) - Use only one interval instance for zero_itv / sym_itv (#3495) - Wrong intersection of line segments (#3629)

- Julia
Published by github-actions[bot] over 1 year ago

lazysets.jl - v2.14.2

LazySets v2.14.2

Diff since v2.14.1

Announcements

Contributors for this release:

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

Enhancements

• Update AbstractPolynomialZonotope interface; add AbstractSparsePolynomialZonotope interface (#3570, #3574)
• Outsource Line to its own module (#3566)
• Outsource DensePolynomialZonotope to its own module (#3571)
• Outsource SimpleSparsePolynomialZonotope to its own module (#3573, #3578)
• Outsource SparsePolynomialZonotope to its own module (#3575)
• Outsource Line2D to its own module (#3577)
• Outsource HParallelotope to its own module (#3579)
• Outsource Tetrahedron to its own module (#3580)
• Outsource Polygon to its own module (#3581)
• Outsource VPolytope to its own module (#3582)
• Outsource HPolytope to its own module (#3583)
• Outsource VPolygon to its own module (#3584)
• Outsource Star to its own module (#3585)
• Outsource Hyperrectangle to its own module (#3587)
• Outsource HPolyhedron to its own module (#3589)
• Outsource Hyperplane to its own module (#3590)
• Outsource HalfSpace to its own module (#3591)
• Outsource HPolygon to its own module (#3593)
• Outsource Zonotope to its own module (#3594, #3606)
• Clean-up after outsourcing:
  • Replace StaticArrays by StaticArraysCore in BallInfModule (#3588)
  • Some fixes for outsourced set types (#3595)
  • Resolve submodule dependencies via Requires (#3597, #3602)
  • Remove duplicate exports (#3598)
  • Outsource convert methods to set modules (#3601)
  • Split Require functions for set modules (#3603)
  • Outsource binary operations to set modules (#3604)
  • Do not export internal functions from set modules (#3605)
  • Rename load_* functions in set modules (#3607)
  • Make StarModule independent of HPolytopeModule (#3615)
  • Remove redundant _vertices_list methods (#3616)
  • Clean up dependencies and reorder includes (#3619)
  • Add namespaces for linter warnings (#3622)
  • Share convert code between HPoly (#3624)
  • Share common SymEngine code (#3626)
• Support VPolygon constructor from SMatrix (#3632)

Bug fixes

• Do not export internal function (#3572)
• Make rand of Tetrahedron consistent (#3608)
• Fix convert of HPolyhedron from Polyhedra.HRep (#3611)
• Rename and fix a pirating but unused free_symbols method (to _free_symbols) (#3610)

Internal changes

• Add test for non-square linear_map of Interval (#3568)
• Fix docs error (#3569)
• Add tests for SSPZ (#3576)
• Add prefix IA. to interval in tests consistently (#3586)
• Fix namespace warnings in linter (#3596)
• Add tests for SymEngine code (#3610)

---

Merged pull requests: - Outsource Line to its own module (#3566) (@schillic) - Add test for non-square linear_map of Interval (#3568) (@schillic) - Fix docs error (#3569) (@schillic) - Add AbstractPolynomialZonotope interface functions and implement for SSPZ (#3570) (@schillic) - Outsource DensePolynomialZonotope to its own module (#3571) (@schillic) - Outsource SimpleSparsePolynomialZonotope to its own module (#3572) (@schillic) - Do not export internal function (#3573) (@schillic) - Update AbstractPolynomialZonotope interface functions; add AbstractSparsePolynomialZonotope interface (#3574) (@schillic) - Outsource SparsePolynomialZonotope to its own module (#3575) (@schillic) - Add tests for SSPZ (#3576) (@schillic) - Outsource Line2D to its own module (#3577) (@schillic) - Add missing import (#3578) (@schillic) - Outsource HParallelotope to its own module (#3579) (@schillic) - Outsource Tetrahedron to its own module (#3580) (@schillic) - Outsource Polygon to its own module (#3581) (@schillic) - Outsource VPolytope to its own module (#3582) (@schillic) - Outsource HPolytope to its own module (#3583) (@schillic) - Outsource VPolygon to its own module (#3584) (@schillic) - Outsource Star to its own module (#3585) (@schillic) - Add prefix IA. to interval consistently (#3586) (@schillic) - Outsource Hyperrectangle to its own module (#3587) (@schillic) - Replace StaticArrays by StaticArraysCore (#3588) (@schillic) - Outsource HPolyhedron to its own module (#3589) (@schillic) - Outsource Hyperplane to its own module (#3590) (@schillic) - Outsource HalfSpace to its own module (#3591) (@schillic) - Outsource HPolygon to its own module (#3593) (@schillic) - Outsource Zonotope to its own module (#3594) (@schillic) - Some fixes for outsourced set types (#3595) (@schillic) - Fix namespace warnings in linter (#3596) (@schillic) - Resolve submodule dependencies via Requires (#3597) (@schillic) - Remove duplicate exports (#3598) (@schillic) - Outsource convert methods to set modules (#3601) (@schillic) - Resolve submodule dependency via Requires (#3602) (@schillic) - Split Require functions for set modules (#3603) (@schillic) - Outsource binary operations to set modules (#3604) (@schillic) - Do not export internal functions from set modules (#3605) (@schillic) - Move back vertices_list helper function from ZonotopeModule (#3606) (@schillic) - Rename load_* functions in set modules (#3607) (@schillic) - Make rand of Tetrahedron consistent (#3608) (@schillic) - Add tests for SymEngine code; rename and fix free_symbols (#3610) (@schillic) - Fix convert of HPolyhedron from Polyhedra.HRep (#3611) (@schillic) - Make StarModule independent of HPolytopeModule (#3615) (@schillic) - Remove redundant _vertices_list methods (#3616) (@schillic) - Clean up Sets dependencies and reorder includes (#3619) (@schillic) - Add namespaces for linter warnings (#3622) (@schillic) - Share convert code between HPoly (#3624) (@schillic) - Automatic JuliaFormatter.jl run (#3625) (@github-actions[bot]) - Share common SymEngine code (#3626) (@schillic) - #3631 - Support VPolygon constructor from SMatrix (#3632) (@schillic) - v2.14.2 (#3633) (@schillic)

Closed issues: - vertices_list returns Float64 type for Float32 type input (#3393) - UndefVarError: IntervalBox not defined on 'using' (#3599) - VPolygon(M::SMatrix) errors (#3631)

- Julia
Published by github-actions[bot] over 1 year ago

lazysets.jl - v2.14.1

LazySets v2.14.1

Diff since v2.14.0

Announcements

Contributors for this release:

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

Features

• Add more and better operations for Interval (#3533)

Enhancements

• Allow SymEngine v0.12 (#3541)
• Make all API functions available in IntervalModule & EmptySetModule (#3545)
• Outsource Ball1 to its own module (#3547)
• Outsource Ball2 to its own module (#3549)
• Outsource BallInf to its own module (#3550)
• Outsource Ballp to its own module (#3548)
• Outsource Ellipsoid to its own module (#3555)
• Outsource LineSegment to its own module (#3556)
• Outsource ZeroSet to its own module (#3557)
• Outsource Singleton to its own module (#3558)
• Outsource Universe to its own module (#3564)

Internal changes

• Temporary fix for Symbolics doctest (#3542)
• Add space in error message (#3544)
• Define AbstractBallp interface functions (#3546)
• Define AbstractSingleton interface function (#3560)
• Update docs (#3559)
• Add option for shorter tests, used in PkgEval (#3563)
• Revise documentation of interface requirements (#3565)

---

Merged pull requests: - Add more and better operations for Interval (#3533) (@schillic) - Allow SymEngine v0.12 (#3541) (@schillic) - Temporary fix for Symbolics doctest (#3542) (@schillic) - Automatic JuliaFormatter.jl run (#3543) (@github-actions[bot]) - Add space in error message (#3544) (@schillic) - Make all API functions available in IntervalModule & EmptySetModule (#3545) (@schillic) - Define AbstractBallp interface functions (#3546) (@schillic) - Outsource Ball1 to its own module (#3547) (@schillic) - Outsource Ballp to its own module (#3548) (@schillic) - Outsource Ball2 to its own module (#3549) (@schillic) - Outsource BallInf to its own module (#3550) (@schillic) - Automatic JuliaFormatter.jl run (#3552) (@github-actions[bot]) - Fix documentation (#3554) (@schillic) - Outsource Ellipsoid to its own module (#3555) (@schillic) - Outsource LineSegment to its own module (#3556) (@schillic) - Outsource ZeroSet to its own module (#3557) (@schillic) - Outsource Singleton to its own module (#3558) (@schillic) - Update docs (#3559) (@schillic) - Define AbstractSingleton interface function (#3560) (@schillic) - Add option for shorter tests, used in PkgEval (#3563) (@schillic) - Outsource Universe to its own module (#3564) (@schillic) - Revise documentation of interface requirements (#3565) (@schillic)

Closed issues: - Special sets in concrete projection (#1990) - Segfault when calling affine_map (#2278)

- Julia
Published by github-actions[bot] over 1 year ago

lazysets.jl - v2.14.0

LazySets v2.14.0

Diff since v2.13.0

Announcements

Contributors for this release:

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

Breaking changes

• Remove symbol aliases of concrete operations (⊞ and \) (#3528)
• Remove redundant VectorIterator (#3529)
• Remove membership test of number in Interval (#3534)

Features

• Add MatrixSets with MatrixZonotope (not exported; planned to be outsourced later) (#3510)
• Add center to API module (#3513)
• Outsource Interval to its own module (#3520)
• Outsource EmptySet to its own module (#3536)
• Add SymEngine code to create HalfSpace/Hyperplane (#3532)

Enhancements

• Make Interval's diameter consistent with radius (#3514)
• Add radius for Interval (#3515)
• Revise and test convert to Interval (#3517)
• Add space in error message (#3523)
• Revise translate and translate! (#3525)
• Support is_interior_point for mixed numeric types (#3526)
• Support ReachabilityBase v0.3 (#3537)

Bug fixes

• Export missing function permute (#3521)
• Fix overapproximate of (Simple)SparsePolynomialZonotope with Zonotope and dom (#3531)

Internal changes

• Add JuliaHub and PkgEval badges (#3512)
• Remove mince import (#3516)
• More tests for split of Interval (#3518)
• Tests for issubset between Intervals (#3519)
• Fix Array package source in tests (#3524)
• Allow passing "" argument to tests (#3522, #3535)
• Move API in docs (#3527)
• Add tests for API module (#3530)

---

Merged pull requests: - Matrix set (#3510) (@schillic) - Automatic JuliaFormatter.jl run (#3511) (@github-actions[bot]) - Add JuliaHub and PkgEval badges (#3512) (@schillic) - Add center to API module (#3513) (@schillic) - Make Interval's diameter consistent with radius (#3514) (@schillic) - Add radius for Interval (#3515) (@schillic) - Remove mince import (#3516) (@schillic) - Revise and test convert to Interval (#3517) (@schillic) - More tests for split of Interval (#3518) (@schillic) - Tests for issubset between Intervals (#3519) (@schillic) - Outsource Interval to its own module (#3520) (@schillic) - Export missing function permute (#3521) (@schillic) - Allow passing nothing argument to tests (#3522) (@schillic) - Add space in error message (#3523) (@schillic) - Fix Array package source in tests (#3524) (@schillic) - Revise translate and translate! (#3525) (@schillic) - Support is_interior_point for mixed numeric types (#3526) (@schillic) - Move API in docs (#3527) (@schillic) - Remove symbol aliases of concrete operations (#3528) (@schillic) - Remove redundant VectorIterator (#3529) (@schillic) - Add tests for API module (#3530) (@schillic) - Fix overapproximate of SSPZ with Zonotope and dom (#3531) (@schillic) - SymEngine code to create HalfSpace/Hyperplane (#3532) (@schillic) - Remove membership test of number in Interval (#3534) (@schillic) - Allow passing empty string to tests (#3535) (@schillic) - Outsource EmptySet to its own module (#3536) (@schillic) - Support ReachabilityBase v0.3 (#3537) (@schillic) - v2.14.0 (#3539) (@schillic)

- Julia
Published by github-actions[bot] over 1 year ago

lazysets.jl - v2.13.0

LazySets v2.13.0

Diff since v2.12.1

Announcements

Contributors for this release:

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

Breaking changes

• Outsource basetype to ReachabilityBase (this is technically breaking but was not meant to be part of the API) (#3503)

Features

• Add convert between SparsePolynomialZonotope and Taylor model (#3447, #3498)
• Zonotope overapproximation of intersection between zonotope and axis-aligned half-space based on ICP (#3457)
• Add convert from zonotopic set to Hyperrectangle (#3484)
• Add permute for Zonotope (#3485)
• Add permute for HalfSpace, HPolytope, HPolyhedron (#3487)
• minkowski_sum for SparsePolynomialZonotope and zonotopic set (#3493)
• extrema approximation for SparsePolynomialZonotope (#3494)
• Add isempty and convex_hull for Polygon (#3499)
• Non-uniform split for hyperrectangles (#3505)

Enhancements

• Replace Integer by Int (#3443)
• Generalize order-reducing overapproximate method (#3444)
• Use exact LP solver for sets represented with integers (#3486)
• Better equivalence check of singleton and zonotope (#3489)
• Outsource documentation to new API module (#3497)
• Let binary convex_hull with EmptySet fall back to the unary method (#3500)
• Let remove_redundant_generators remove almost-zero columns (#3504)

Bug fixes

• Fix membership test in zonotope without generators (#3488)
• Fix reduce_order for SPZ of smaller order (#3492)
• Fix projection of polyhedron in unconstrained dimensions (#3501)

Internal changes

• Bring back IntervalConstraintProgramming in tests (#3482)
• Use Unicode symbols in documentation (#3496)
• Bump compat for Makie v0.21 in tests (#3508)

---

Merged pull requests: - Replace Integer -> Int (#3443) (@schillic) - Generalize order-reducing overapproximate method (#3444) (@schillic) - convert from SparsePolynomialZonotope to Taylor model (#3447) (@schillic) - Zonotope overapproximation of intersection between zonotope and axis-aligned half-space based on ICP (#3457) (@schillic) - Bring back IntervalConstraintProgramming in tests (#3482) (@schillic) - Conversion from zonotopic set to Hyperrectangle (#3484) (@schillic) - Add permute for Zonotope (#3485) (@schillic) - Use exact LP solver for integer sets (#3486) (@schillic) - Add permute for HalfSpace, HPolytope, HPolyhedron (#3487) (@schillic) - Fix membership test in zonotope without generators (#3488) (@schillic) - Better equivalence check of singleton and zonotope (#3489) (@schillic) - Fix reduce_order for SPZ of smaller order (#3492) (@schillic) - minkowski_sum for SPZ and zonotopic set (#3493) (@schillic) - Extrema approximation for SPZ (#3494) (@schillic) - Use Unicode symbols in documentation (#3496) (@schillic) - Outsource documentation to API module (#3497) (@schillic) - Rename clashing variables in test (#3498) (@schillic) - isempty and convexhull for Polygon (#3499) (@schillic) - Let binary `convexhullwithEmptySetfall back to the unary method (#3500) (@schillic) - Fix projection of polyhedron in unconstrained dimensions (#3501) (@schillic) - Automatic JuliaFormatter.jl run (#3502) (@github-actions[bot]) - Outsourcebasetypeto ReachabilityBase (#3503) (@schillic) - Letremoveredundantgenerators` remove almost-zero columns (#3504) (@schillic) - Non-uniform split of hyperrectangles (#3505) (@schillic) - Bump julia-actions/cache from 1 to 2 (#3506) (@dependabot[bot]) - Bump compat for Makie v0.21 in test (#3508) (@schillic) - v2.13.0 (#3509) (@schillic)

Closed issues: - Remove empty sets in concrete intersection with a set union (#2158)

- Julia
Published by github-actions[bot] almost 2 years ago

lazysets.jl - v2.12.1

LazySets v2.12.1

Diff since v2.12.0

Merged pull requests: - Add missing convert methods for HPolytope/HPolyhedron (#3491) (@schillic)

- Julia
Published by github-actions[bot] almost 2 years ago

lazysets.jl - v2.12.0

LazySets v2.12.0

Diff since v2.11.4

Announcements

Contributors for this release:

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

Breaking changes

• Change keyword argument in Zonotope overapproximation of Taylor model (#3446)

Features

• Add cartesian_product for SparsePolynomialZonotope (#3438)
• Add translate for most lazy operations (#3474)
• Add reduce_order for Zonotope with static matrix (#3467, #3476)
• Add overapproximate of zonotopic unions with Zonotope (#3458)
• Add convert methods for HPolytope/HPolyhedron with fixed vector type (#3466)
• Add decompose for fixed target type (with overapproximation) (#3468)

Enhancements

• Remove redundant generators in Zonotope overapproximations of Taylor model and SparsePolynomialZonotope (#3446)
• Fix unbound args (#3461)
• Fix piracies (<=, activate_assertions, deactivate_assertions, rand) (#3462, #3463, #3481)
• Revise rectify of polyhedra (filter out empty sets) (#3469, #3479)

Internal changes

• Split and revise documentation pages (#3436)
• Revise CI scripts (#3437)
• Replace $ with double backticks (#3445)
• Run Aqua in tests and fix problems (#3439, #3451)
• Fix Codecov (#3452)
• Minor fixes (#3454)
• Fix invalid character (#3460)
• Remove Javis from test dependencies (#3465)
• Remove redundant calls to uniqueID (#3448)
• Move PkgVersion code to central place (#3459)
• Use eachindex/axes instead of 1:length/1:size (#3464)
• Remove precompile statement (#3470)
• Make test conditional on IntervalArithmetic version (#3477)
• Run doctests when building docs instead of tests (#3478)
• Add Aqua badge (#3453)

---

Merged pull requests: - Split and revise documentation (#3436) (@schillic) - Revise CI scripts (#3437) (@schillic) - cartesianproduct for SparsePolynomialZonotope (#3438) (@schillic) - Run Aqua in tests and fix problems (#3439) (@schillic) - Add timeout to tests (#3441) (@schillic) - Replace $ with double backticks (#3445) (@schillic) - Remove redundant generators in zonotope overapproximations (#3446) (@schillic) - Remove calls to uniqueID (done in constructor) (#3448) (@schillic) - Remove old (now duplicate) ambiguity tests (#3451) (@schillic) - Add Aqua badge and fix Codecov (#3452) (@schillic) - Add Aqua badge (#3453) (@schillic) - Minor fixes in comments (#3454) (@schillic) - Support overapproximate of unions instead of convex hulls (#3458) (@schillic) - Move PkgVersion code to central place (#3459) (@schillic) - Fix invalid character (#3460) (@schillic) - Fix unbound args (#3461) (@schillic) - Fix piracy with <= (#3462) (@schillic) - Fix piracies with `activateassertions&deactivateassertions(#3463) (@schillic) - Useeachindex/axesinstead of1:length/1:size` (#3464) (@schillic) - Remove Javis from test dependencies (#3465) (@schillic) - More convert methods for HPolytope/HPolyhedron (#3466) (@schillic) - reduceorder for zonotope with static matrix (#3467) (@schillic) - decompose for fixed target type with overapproximation (#3468) (@schillic) - Revise rectify (#3469) (@schillic) - Remove precompile statement (#3470) (@schillic) - TaylorModels compat v0.7 (#3473) (@schillic) - #1193 - Concrete translation of lazy operations (#3474) (@schillic) - Generalize reduce_order with StaticArrays matrix (#3476) (@schillic) - Make test conditional on IA version (#3477) (@schillic) - Run doctests when building docs instead of tests (#3478) (@schillic) - Fix for rectify in #3469 (#3479) (@schillic) - Fix piracy with rand (#3481) (@schillic) - Rename variables to avoid typos warnings (#3483) (@schillic) - Bump julia-actions/setup-julia from 1 to 2 (#3490) (@dependabot[bot])

Closed issues: - Concrete translation of lazy operations (#1193) - Fix piracies (#3449) - Fix unbound args (#3450) - Convex hull algorithm from Polyhedra.jl produces invalid constraints (#3456)

- Julia
Published by github-actions[bot] almost 2 years ago

lazysets.jl - v2.11.4

LazySets v2.11.4

Diff since v2.11.3

Merged pull requests: - Enable plotting of SparsePolynomialZonotope (#3429) (@schillic) - Automatic JuliaFormatter.jl run (#3430) (@github-actions[bot]) - Ignore Julia v1.6 results (#3431) (@schillic) - Box approximation of a Taylor model (#3432) (@schillic) - v2.11.4 (#3433) (@schillic)

- Julia
Published by github-actions[bot] about 2 years ago

lazysets.jl - v2.11.3

LazySets v2.11.3

Diff since v2.11.2

Announcements

Contributors for this release:

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

Enhancements

• Avoid using .RangeEnclosures and simplify init functions #3426

Bug fixes

• Fix linear_map of AbstractZonotope for 1D output #3428

---

Merged pull requests: - Automatic JuliaFormatter.jl run (#3422) (@github-actions[bot]) - Enable manual triggering of CI scripts (#3424) (@schillic) - IntervalMatrices v0.10 in tests (#3425) (@schillic) - Avoid using .RangeEnclosures; simpler init functions (#3426) (@schillic) - spz docs nitpicks (#3427) (@mforets) - Fix linear_map of AbstractZonotope for 1D output (#3428) (@schillic)

- Julia
Published by github-actions[bot] about 2 years ago

lazysets.jl - v2.11.2

LazySets v2.11.2

Diff since v2.11.1

Announcements

Contributors for this release:

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

Features

• Better vertices_list of 1D HPolytope (#3415)

Enhancements

• Use extended switching logic for SDP solver (avoids warning about function redefinition) (#3418)

Bug fixes

• Fix _two_points_1d! (#3415)
• Fix Inclusion of zonotope without generators in polyhedron (#3417)

---

Merged pull requests: - Stop CompatHelper from bumping frozen packages (#3413) (@schillic) - #3414 - fix twopoints1d! & better verticeslist of 1D HPolytope (#3415) (@schillic) - #3416 - Inclusion of zonotope without generators in polyhedron (#3417) (@schillic) - Use switching logic from expm for SDP solver (#3418) (@schillic) - v2.11.2 (#3421) (@schillic)

Closed issues: - convex_hull of two 1D points modifies points in-place (#3414) - Inclusion of zonotope without generators in polyhedron (#3416)

- Julia
Published by github-actions[bot] about 2 years ago

lazysets.jl - v2.11.1

LazySets v2.11.1

Diff since v2.11.0

Announcements

Contributors for this release:

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

Features

• Add concretize methods for UnionSet and UnionSetArray (#3406)
• Add is_polyhedral for CartesianProductArray (#3407, #3408)

Enhancements

• Faster infinity norm (#3390)
• Robust subset check of zonotope in polyhedron (#3397)
• Freeze version of IntervalArithmetic to < v0.22 due to incompatibilities (#3404)
• Better containment check in LinearMap/AbstractAffineMap (#3395)

Internal changes

• Support Documenter v1 in docs (#3381)
• Remove documentation of unexported AbstractBallp methods (#3383)
• Update reference to Gitter -> Zulip (#3384)
• Support IntervalMatrices v0.9 in tests (#3386)
• Add a spell checker and fix typos (#3389)
• Support Makie v0.20 and SCS v2 in tests (#3396)
• Set GR version in docs/Project.toml to v0.* (#3403)
• Add publications (#3402)

---

Merged pull requests: - Bump actions/checkout from 3 to 4 (#3379) (@dependabot[bot]) - Bump compat for Documenter to 1 (#3381) (@schillic) - Automatic JuliaFormatter.jl run (#3382) (@github-actions[bot]) - Remove documentation of unexported AbstractBallp methods (#3383) (@schillic) - Update reference to Gitter -> Zulip (#3384) (@schillic) - Bump compat for IntervalMatrices to 0.9 (#3386) (@schillic) - Spell checker (#3389) (@schillic) - Faster infinity norm (#3390) (@schillic) - #3394 - Better containment check in LinearMap/AbstractAffineMap (#3395) (@schillic) - Update versions of Makie and SCS (#3396) (@schillic) - Robust subset check for zonotope in polyhedron (#3397) (@schillic) - Add publications (#3402) (@schillic) - Set GR version in docs/Project to 0.* (#3403) (@schillic) - Freeze version of IntervalArithmetic (#3404) (@schillic) - Add concretize methods for UnionSet and UnionSetArray (#3406) (@schillic) - Add ispolyhedral for CartesianProductArray and assertion (#3407) (@schillic) - Add tests for ispolyhedral of CartesianProductArray (#3408) (@schillic) - v2.11.1 (#3409) (@schillic)

Closed issues: - Containment check in a LinearMap can fail with SingularException (#3394) - Inclusion check of flat zonotope in equivalent line segment fails (#3405)

- Julia
Published by github-actions[bot] about 2 years ago

lazysets.jl - v2.11.0

LazySets v2.11.0

Diff since v2.10.0

Announcements

Contributors for this release:

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

Breaking changes

• Removed type parameter for interval type from Interval (#3378)

Enhancements

• Compatibility with IntervalArithmetic v0.21 (#3378)

---

Merged pull requests: - IntervalArithmetic v0.21 (and RangeEnclosures v0.2 in tests) (#3378) (@schillic)

- Julia
Published by github-actions[bot] over 2 years ago

lazysets.jl - v2.10.0

LazySets v2.10.0

Diff since v2.9.0

Announcements

Contributors for this release:

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

Breaking changes

• Remove confusing constructor method of a Line2D from a HalfSpace (#3366)

Features

• Add intersection of CartesianProduct with polyhedron (#3361)
• Add area for Ball2 (#3365)
• Add difference of Interval and HalfSpace (#3351)
• Add AbstractBallp interface with internal functions radius_ball and ball_norm to share common code between p-norm balls. This also adds some new methods and improves some old methods for p-norm balls. (#3368)

Enhancements

• constraints_list: faster for AbstractHyperrectangle and alternative for AbstractSingleton (#3363)
• Better linear_map of AbstractZonotope for 1D output (#3364)
• Faster area for BallInf and AbstractHyperrectangle (#3365)
• Add normalize option to Line constructor (#3367)
• Simplify intersection result with unions (#3352)

Bug fixes

• Fix issubset of interval in union (#3351)

Internal changes

• Merge Line2D constructor docs (#3366)
• Merge Line constructor docs (#3367)

---

Closed issues: - Add interface for balls (#1629) - Concrete Minkowski sum of balls (#1630) - Update "How to cite" in manual (#3347)

Merged pull requests: - difference of Interval and HalfSpace & fix issubset of interval in union (#3351) (@schillic) - Remove empty sets from intersection with union (#3352) (@schillic) - #3347 - Add link to CITATION.bib to manual (#3354) (@schillic) - intersection of CartesianProduct with polyhedron (#3361) (@schillic) - constraintslist: faster for AbstractHyperrectangle and alternative for AbstractSingleton (#3363) (@schillic) - Better linearmap of AbstractZonotope for 1D output (#3364) (@schillic) - area: add for Ball2 and faster for BallInf and AbstractHyperrectangle (#3365) (@schillic) - Line2D: merge docs, remove method from HalfSpace (#3366) (@schillic) - Line: merge constructor docs to struct docs, add normalize option (#3367) (@schillic) - Add AbstractBallp interface (#3368) (@schillic) - Automatic JuliaFormatter.jl run (#3372) (@github-actions[bot]) - Update Project.toml (#3373) (@mforets)

- Julia
Published by github-actions[bot] over 2 years ago

lazysets.jl - v2.9.0

LazySets v2.9.0

Diff since v2.8.0

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Frederik Baymler Mathiesen (Zinoex)

Features

• Revise binary and n-ary lazy operations (#3358)
  • new exported functions: flatten; length and getindex for binary operations; iterate
  • define a default ∈ (for getting an error message instead of a wrong default via iterate)
  • new internal features (not exported): @declare_binary_operation (some internal convenience definitions); first and second for binary operations; concrete_function (allows to define concretize only once)

Enhancements

• Better constraints_list of 1D and 2D VPolytopes (#3350)
• Switch from thread-local to task-local LP solvers (#3356)
• Fix plot of UnionSet and UnionSetArray (#3355, #3359)
• Generalize linear_map_inverse to affine_map_inverse (both unexported functions) (#3360)

Internal changes

• Replace ColumnIterator with eachcol (#3357)
• Adapt to ReachabilityBase v0.2 (#3369)

---

Closed issues: - Add interfaces for operation set types (#269) - Add decomposition for HalfSpaces (#1086) - Extra allocation in inclusion test for UnionSet (#1857) - Extra allocs in disjointness checks for unions (#1858)

Merged pull requests: - Better constraintslist of 1D/2D VPolytopes (#3350) (@schillic) - Fix plot of union (#3355) (@schillic) - Switch from thread-local to task-local LP solvers (#3356) (@Zinoex) - Replace ColumnIterator with eachcol (#3357) (@schillic) - Revise binary and n-ary lazy operations (#3358) (@schillic) - Fix plotting (#3359) (@schillic) - Generalize linearmapinverse to affinemap_inverse (#3360) (@schillic) - Automatic JuliaFormatter.jl run (#3362) (@github-actions[bot]) - Adapt to ReachabilityBase v0.2 (#3369) (@schillic) - v2.9.0 (#3371) (@schillic)

- Julia
Published by github-actions[bot] over 2 years ago

lazysets.jl - v2.8.0

LazySets v2.8.0

Diff since v2.7.6

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Frederik Baymler Mathiesen (@Zinoex)
• Peng Yu (@yupbank)

Features

• Add linear_map and affine_map for Ellipsoid (#3323)
• Add support vector and support function for Polygon (#3325)
• Add some scale and scale! methods (#3326)
• Add inclusion check for nonconvex sets and zonotopic sets in a polyhedron (#3328)
• Add tohrep/tovrep for general polyhedral sets (#3329)
• Add isfeasible check for a list of linear constraints (#3338)

Enhancements

• Do not use GLPK's presolver for removing redundant vertices (printed expected warnings about infeasibility) (#3333)
• Faster disjointness check between zonotopic sets and polyhedra (#3334)
• Added generic overapproximate by falling back to convert (#3335)
• Overhaul usage of LP solver (cache default LP model, allow to pass a JuMP model directly, faster constraint generation) (#3340)
• Support additional LP-solver status and throw ArgumentError for infeasible LP (#3344)

Bug fixes

• Fix special cases in linear_map_inverse (#3348)

Internal changes

• Simplify code in 2D minkowski_sum (#3327)
• 2D zonotope vertex enumeration with linear complexity (currently unused) (#2288)
• Example for ExponentialProjectionMap docs (#3330)
• Code polishing related to one/ones (#3339)

---

Closed issues: - Use SingleEntryVector type (#538) - Add an example in the ExponentialProjectionMap type (#960) - Add function to check the feasibility of a list of linear constraints (#1057) - Fallback tovrep implementation (#1134) - Generic overapproximate by falling back to convert (#1229) - Fast disjointness test for zonotope and half-space (#1286) - Add more methods for scale (#2610) - Simplify code in 2D minkowskisum (after Julia error gets fixed) (#2778) - glpsimplex warning in removeredundantvertices (#3226) - Use autoformatter? (#3251) - Support vector of Polygon (#3324) - Caching the JuMP model in linprog (#3336)

Merged pull requests: - General 2d Zonotope vertex enumeration with linear complexity (#2288) (@yupbank) - Add linearmap and affinemap for Ellipsoid (#3323) (@schillic) - #3324 - Support vector/function for Polygon (#3325) (@schillic) - #2610 - Add scale and scale! methods (#3326) (@schillic) - #2778 - Simplify code in 2D minkowskisum (#3327) (@schillic) - Inclusion check for nonconvex sets and zonotopic sets in polyhedron (#3328) (@schillic) - #1134 - tohrep/tovrep for general polyhedral sets (#3329) (@schillic) - #960 - Add example to ExponentialProjectionMap docs (#3330) (@schillic) - Do not use GLPK's presolver for removing redundant vertices (#3333) (@schillic) - Specialized disjointness check between zonotope and polyhedron (#3334) (@schillic) - #1229 - Generic overapproximate by falling back to convert (#3335) (@schillic) - Auto-format script (#3337) (@schillic) - #1057 - Feasibility test for a list of linear constraints (#3338) (@schillic) - Minor code polishing (#3339) (@schillic) - #3336 - Cache default LP model (#3340) (@Zinoex) - Add package bounds to test/Project.toml (#3343) (@schillic) - Support additional solver status and throw ArgumentError (#3344) (@schillic) - Format and rearrange code (#3346) (@schillic) - Fix special cases in linearmap_inverse (#3348) (@schillic) - Update Project.toml (#3349) (@mforets)

- Julia
Published by github-actions[bot] over 2 years ago

lazysets.jl - v2.7.6

LazySets v2.7.6

Diff since v2.7.5

Announcements

Contributors for this release:

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

Bug fixes

• Fix linear_map with number (#3322)

---

Merged pull requests: - Fix linear_map with number (#3322) (@schillic)

- Julia
Published by github-actions[bot] almost 3 years ago

lazysets.jl - v2.7.5

LazySets v2.7.5

Diff since v2.7.4

Announcements

Contributors for this release:

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

Features

• 3D plot recipe with Plots for polytopic sets (#3281)
• minkowski_difference for hyperrectangular sets (#3269)
• volume for polygons (#3295)
• Allow scalar argument for linear_map (falls back to scale) and affine_map (#3284)
• Add minkowski_difference for zonotopes in 1D and 2D (#3270)
• Maximum volume Ellipsoid in a polyhedral set (#3293)
• Add □ and ○ convenience functions (#3314)
• Convenience constructor of ExponentialMap from sparse matrix (#3296)
• Convenience constructors for some n-ary lazy operations (#3316)

Enhancements

• Specialized support function for VPolytope (#3276)
• Allow to pass kwargs to _expmv and add method with default backend (#3310)
• Faster concretize of ConvexHullArray of polytopes (#3307)
• Faster area for VPolygon (#3295)
• Condition shortcut in same_side (#3306)
• Specialized support function for Ball1 and Ball1 (#3274)
• Specialized support function for LineSegment (#3275)
• Specialized support function for ExponentialProjectionMap (#3280)
• Define convert methods to HPolygon in eval loop (#3291)
• More efficient support vector for UnionSet and UnionSetArray (#3308)
• Define == for Intersection to ignore the cache (#3316)
• Quick sufficient isdisjoint check (#3283)
• Make membership check in AbstractZonotope more efficient (#3321)

Bug fixes

• Fix intersection of UnionSetArray and Interval (#3313)
• Fix kwargs in default_lp_solver_polyhedra (#3320)

Internal changes

• Fix typos (#3305)
• Require PkgVersion in tests (#3289)
• Helper functions to simplify witness code (#3279)
• Change error in SparseMatrixExp constructor to ArgumentError (#3309)
• Format code (#3320)

---

Closed issues: - Recipes for 3D Plots (#35) - Use some more unicode operators as short hands (#822) - ExponentialMap constructor from SparseMatrixCSC and set (#823) - Concrete convex hull from ConvexHull(Array) of polytopes (#948) - More efficient support vector/function for UnionSetArray (#993) - Revise supp function of lazy intersection of polyhedra (#1127) - Annotate block_options in decompose (#1202) - Maximum volume ellipsoid in a polyhedral set (#1712) - Concrete minkowski difference for hyperrectangular sets (#1721) - typos and spelling (#3302)

Merged pull requests: - #1721 - Concrete minkowski difference for hyperrectangular sets (#3269) (@schillic) - Add minkowskidifference for zonotopes in 1D and 2D (#3270) (@schillic) - #600 - Specialized support function for Ball1 and Ballp (#3274) (@schillic) - #600 - Specialized support function for LineSegment (#3275) (@schillic) - #600 - Specialized support function for VPolytope (#3276) (@schillic) - Helper functions to simplify witness code (#3279) (@schillic) - #600 - Specialized support function for ExponentialProjectionMap (#3280) (@schillic) - #35 - 3D plot recipe for polytopes (#3281) (@schillic) - Quick sufficient isdisjoint check (#3283) (@schillic) - Allow linearmap and affinemap with a scalar (#3284) (@schillic) - Better test for package version (#3289) (@schillic) - Define convert methods to HPolygon in eval loop (#3291) (@schillic) - #1712 - Maximum volume ellipsoid in a polyhedral set (#3293) (@schillic) - Volume for polygons and faster area for VPolygon (#3295) (@schillic) - #823 - Convenience constructor of ExponentialMap from sparse matrix (#3296) (@schillic) - #3302 - Fix typos (#3305) (@schillic) - Condition shortcut in sameside (#3306) (@schillic) - #948 - Faster concretize of ConvexHullArray of polytopes (#3307) (@schillic) - #993 - More efficient support vector for UnionSet and UnionSetArray (#3308) (@schillic) - Change error to ArgumentError (#3309) (@schillic) - Allow to pass kwargs to _expmv and add method with default backend (#3310) (@schillic) - Fix intersection of UnionSetArray and Interval (#3313) (@schillic) - #822 - Unicode operators (#3314) (@schillic) - Convenience constructors and == for Intersection (#3316) (@schillic) - Update CI scripts (#3318) (@schillic) - Update docs (#3319) (@schillic) - Format code (#3320) (@schillic) - More efficient membership check in AbstractZonotope (#3321) (@schillic)

- Julia
Published by github-actions[bot] almost 3 years ago

lazysets.jl - v2.7.4

LazySets v2.7.4

Diff since v2.7.3

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Luca Ferranti (@lucaferranti)

Features

• Add support function for SparsePolynomialZonotope (#3073)
• Add sample method for DensePolynomialZonotope (#3268)

Enhancements

• Faster brute-force search in support-vector computation of VPolygon (#3277)
• Add Real type restriction to normalize (resolves an ambiguity with Julia v1.9) (#3298)
• Fix warnings reported by VSCodium (#3273)

Bug fixes

• Fix error message in split with zero argument (#3273)
• Fix ∈ for Tetrahedron when point is on the boundary (#3304)

Internal changes

• Add dependabot (#3285) and bump scripts (#3286, #3287)
• Also run CompatHelper in test folder (#3288)
• Add invalidations CI script (#3290)
• Update README and CI scripts (#3294)
• Outsource LP-solver code to separate file (#3292)

---

Closed issues: - Union-splitting in concrete intersection of hyperrectangles (#533) - Clustering function (#584) - Specialized support function computations (#600) - Follow up lazy intersection polytope vs polytope (#689) - Lazy Overapproximation operation (#707) - Default isintersectionempty between lazyset and abstract polytope (#724) - Remove redundant constraints when using template directions (#757) - Generation of arrays of random sets (#899) - Memory use of parallel box overapproximation (#987) - Add concrete and abstract traits (#991) - Simplify overapproximations API (#1020) - Add benchmarks for linear map (#1084) - Constraints list should return a copy (#1118) - Use MathOptInterface (#1493) - Inconsistent point in tetrahedron check (#3303)

Merged pull requests: - support function for SPZ (#3073) (@lucaferranti) - Add sample method for DensePolynomialZonotope (#3268) (@schillic) - Fix warnings raised by linter (#3273) (@schillic) - Faster brute-force search in support-vector computation of VPolygon (#3277) (@schillic) - Add dependabot (#3285) (@schillic) - Bump actions/checkout from 2 to 3 (#3286) (@dependabot[bot]) - Bump codecov/codecov-action from 2 to 3 (#3287) (@dependabot[bot]) - Also run CompatHelper in test folder (#3288) (@schillic) - Add invalidations CI script (#3290) (@schillic) - Outsource solver code to separate file (#3292) (@schillic) - Update README and scripts (#3294) (@schillic) - Change normalize to resolve ambiguities in v1.9 (#3298) (@schillic) - Generalize check if point is in hyperplane (#3304) (@mforets)

- Julia
Published by github-actions[bot] almost 3 years ago

lazysets.jl - v2.7.3

LazySets v2.7.3

Diff since v2.7.2

Announcements

Contributors for this release:

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

Features

• Add complement methods for EmptySet and Universe (#3256)
• Add ngens methods for BallInf, Interval and LineSegment (#3255)
• Add reflect methods for EmptySet, Interval, ZeroSet, VPolytope and Universe (#3254)
• Add option to delaunay to get 2D Delaunay triangulation for 3D sets (#3260)
• Add new Tetrahedron set type (#3263)
• Membership check for Tetrahedron (#3267)

Enhancements

• Let generators of LineSegment return an iterator (#3257)
• Generalize exponential backend in symmetric_interval_hull methods (#3253)
• Remove unused AbstractStar interface (#3261)
• Add some simple methods for DensePolynomialZonotope (#3262)
• Let overapproximate of SimpleSparsePolynomialZonotope with a Zonotope always return a Zonotope (#3262)
• Add overapproximate method for DensePolynomialZonotope with a Zonotope (#3262)

Bug fixes

• Fix function error (raise -> throw) (#3252)

Internal changes

• Revise interface tests (#3264)
• Use short form IA of IntervalArithmetic consistently (#3265)
• Remove constructor lists from documentation (#3266)

---

Closed issues: - Overapproximate polynomial zonotope with zonotope (#230) - Add examples for constructors and remove code copy (#232) - Support vector computation for a polynomial zonotope (#239) - Document formatter=identity (#305) - Caching lazy set operations (#351) - Forbid degenerate cases (#422) - Zonotope-zonotope intersection emptiness in 3D (#1267) - Generalize exponential backend in symmetricintervalhull methods (#3117) - AbstractStar is recognized as a concrete set type (#3194) - Implement Tetrahedron type (#3258) - Implement efficient point in tetrahedron check (#3259)

Merged pull requests: - Fix function error (raise -> throw) (#3252) (@schillic) - #3117 - Generalize exponential backend in symmetricintervalhull methods (#3253) (@schillic) - More reflect methods and docs/tests (#3254) (@schillic) - Add ngens methods (#3255) (@schillic) - Add complement methods (#3256) (@schillic) - Let generators of LineSegment return an iterator (#3257) (@schillic) - Add option to get 2D Delaunay triangulation for 3D sets (#3260) (@schillic) - #3194 - Remove AbstractStar interface (#3261) (@schillic) - #230 - Overapproximate DensePolynomialZonotope with Zonotope (#3262) (@schillic) - Add Tetrahedron set type (#3263) (@mforets) - Revise interface tests (#3264) (@schillic) - import IntervalArithmetic as IA (#3265) (@schillic) - #232 - Remove constructor lists from docs (#3266) (@schillic) - Membership check for Tetrahedron (#3267) (@mforets)

- Julia
Published by github-actions[bot] almost 3 years ago

lazysets.jl - v2.7.2

LazySets v2.7.2

Diff since v2.7.1

Announcements

Contributors for this release:

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

Enhancements

• Generalize outer array container for VPolytope (#3250)

---

Closed issues: - Generalize VPolytope container type (#3249)

Merged pull requests: - Generalize outer array container of VPolytope (#3250) (@mforets)

- Julia
Published by github-actions[bot] almost 3 years ago

lazysets.jl - v2.7.1

LazySets v2.7.1

Diff since v2.7.0

Announcements

Contributors for this release:

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

Enhancements

• Add linear_map for general polyhedral sets (#3246)
• Add reflect methods for AbstractZonotope, AbstractHyperrectangle, AbstractSingleton (#3248)

Internal changes

• Add missing backslash in docstring (#3247)

---

Closed issues: - Add common polytopic methods to lazy operations (#996)

Merged pull requests: - Add linear_map for general polyhedral sets (#3246) (@schillic) - Add missing backslash in docstring (#3247) (@schillic) - Add reflect methods (#3248) (@schillic)

- Julia
Published by github-actions[bot] almost 3 years ago

lazysets.jl - v2.7.0

LazySets v2.7.0

Diff since v2.6.0

Announcements

Contributors for this release:

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

Breaking changes

• Revise HParallelotope: add consistency check to constructor and use cheap isempty method (#3219)

Features

• Generalize isempty from HPolyhedron to (polyhedral) LazySet (#3235)
• Add is_polyhedral for IntersectionArray (#3235)

Enhancements

• Remove remaining N<:Real annotations (#3236)
• Make sure rand of HParallelotope returns a nonempty set (#3221)
• Remove dependency on JuMP.MOI (#3245)

Internal changes

• Update manual ("Getting started") (#3243)
• Move some code to interface files (#3244)

---

Closed issues: - Generalize methods to AbstractPolyhedron (#1078) - Conversion from simple HRep to list of constraints (#1610) - Remove N<:Real annotation (#2219) - vertices_list of an empty HParallelotope is non-empty (#2786) - Random parallelotope generation often returns an empty set (#3203) - Documentation Update section causes error (#3242)

Merged pull requests: - #2786 - Add consistency check to HParallelotope constructor and use cheap isempty method (#3219) (@schillic) - #3203 - Make rand of HParallelotope return a nonempty set (#3221) (@schillic) - #1078 - Generalize isempty from HPolyhedron to (polyhedral) LazySet (#3235) (@schillic) - #2219 - Remove remaining N<:Real annotations (#3236) (@schillic) - Update manual (getting started) (#3243) (@schillic) - Move some code to interface files (#3244) (@schillic) - Remove dependency on JuMP.MOI (#3245) (@schillic)

- Julia
Published by github-actions[bot] almost 3 years ago

lazysets.jl - v2.6.0

LazySets v2.6.0

Diff since v2.5.0

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Frederik Baymler Mathiesen (@Zinoex) (first-time contributor)
• Lasse Peters (@lassepe)

Features

• Add overapproximate for Intersection of AbstractZonotope and Hyperplane (#3201)
• Add volume for HParallelotope (#3204)
• Add order-reduction method with parallelotope (#3205)
• Generalize polyhedron to polyhedral LazySets (#3223)

Enhancements

• Faster support function and support vector for CartesianProduct and CartesianProductArray (#3199)
• Improved bound for line search (#3214)
• Concrete Minkowski difference for zonotopes (#3206)
• Fix compatibility with JuMP v1.8 (#3239)

Bug fixes

• Fix support vector of Ball2 in zero direction (#3200)
• Use rng in all calls to rand etc. (#3224)
• Fix check for elimination algorithm in minkowski_sum (#3227, #3230)
• Fix undefined variable in overapproximate with HPolyhedron (#3228)
• Fix CartesianProduct constructor with EmptySet (#3208)
• Fix linear_map of polyhedra (vrep_chull algorithm) (#3207)
• Fix constraints_list of flat zonotopes (#3210)
• Fix automatic generation of template-direction instances (#3211)
• Fix support vector of unbounded HPolyhedron (#3234)
• Fix binary search in addconstraint! for (H-)polygons (#3213)

Internal changes

• Use newer version of Makie in tests (#3220)
• Add publications (#3222)
• Fix warning with Polyhedra in test (#3225)
• Pull out documentation from requires blocks (#3217)
• Add test for MiniQhull (#3216)
• Simplify remove_redundant_constraints! (#3218)
• Make names dir/dirs consistent (#3229)
• Update Symbolics in tests (#3232)
• Remove invoke calls (#3233)

---

Closed issues: - Concrete Minkowski difference for zonotopes (#586) - HPolygon's addconstraint! should ignore/replace constraints with same normal direction (#653) - HPolytope's removehredundancy! removes non-redundant constraints (#754) - Iterative refinement of HPolygon with redundant constraint adds unexpected constraint (#895) - tohrep(::VPolytope) results in unbounded polytope (#1234) - Overapproximation of zonotope with polyhedron in constraint representation (#1328) - Different result for intersection using HPolyhedron or HPolytope (#1348) - HPolygon should not reorder already-sorted constraints (#1393) - Convert AbstractPolyhedron to Polyhedra.polyhedron (#1505) - Docstrings with kwargs (#1650) - Faster support function for CPA and canonical vectors (#1758) - Add test for MiniQhull optional dependency (#2077) - Documentation redefinition in require blocks (#2080) - Fix warnings with Polyhedra (#2162) - addconstraint! for HPolygon differs with linearsearch option (#2426) - Error when passing LP solver to Polyhedra (#2542) - AssertionError in istightersamedir2D (#2582) - Checking equality of Complements Unexpected Behavior. (#2686) - Fix links in documentation (#2721) - Undefined LP in removeredundantconstraints (#2732) - Overapproximation with zonotope and PolarDirections (CPA algorithm) crashes (#2833) - MethodError in eps close approx of Bloating (#2894) - rand doesn't work with Rational{Int} (#3019) - isdisjoint of flat zonotope with polyhedron returns wrong answer (#3038) - Generalize polyhedron to AbstractPolyhedron (#3060) - EmptySet is not quite the absorbing operation for CartesianProduct (#3078) - Support vector of Ball2 in zero direction (#3198) - constraintslist of flat zonotopes is wrong (#3209) - Depend on MathOptInterface directly instead of referencing the internal variable of JuMP (#3238)

Merged pull requests: - Update publications (#3197) (@schillic) - #1758 - faster support function/vector for CartesianProduct/CartesianProductArray (#3199) (@schillic) - #3198 - Fix support vector of Ball2 in zero direction (#3200) (@schillic) - Overapproximation for intersection of zonotope and hyperplane (#3201) (@schillic) - Add reference (#3202) (@schillic) - Add volume method for HParallelotope (#3204) (@schillic) - Add order-reduction method with parallelotope (#3205) (@schillic) - #586 - Concrete Minkowski difference for zonotopes (#3206) (@schillic) - Fix vrepchull algorithm and simplify code (#3207) (@schillic) - #3078 - Fix CartesianProduct constructor with EmptySet (#3208) (@schillic) - #3209 - Fix constraintslist of flat zonotopes (#3210) (@schillic) - #2833 - Fix automatic generation of template-direction instances (#3211) (@schillic) - #2426 - Fix binary search in addconstraint! for polygons (#3213) (@schillic) - #1348 - Improved bound for line search (#3214) (@schillic) - #2077 - Add test for MiniQhull (#3216) (@schillic) - #2080 - Pull out documentation from requires blocks (#3217) (@schillic) - #2732 - Simplify removeredundantconstraints! code (#3218) (@schillic) - Use newer version of Makie in tests (#3220) (@schillic) - Add publications (#3222) (@schillic) - #3060 - Generalize polyhedron to LazySet (#3223) (@schillic) - Use rng in all rand calls (#3224) (@schillic) - #2162 - Fix warning with Polyhedra (#3225) (@schillic) - Fix check for elimination algorithm type in minkowskisumhrep (#3227) (@Zinoex) - Fix variable naming error in overapproximate to HPolyhedron (#3228) (@Zinoex) - Make names dir/dirs consistent (#3229) (@schillic) - Add test for #3227 (minkowskisumhrep with algorithm given) (#3230) (@schillic) - Update Symbolics in tests (#3232) (@schillic) - Remove invoke calls (#3233) (@schillic) - Fix support vector of unbounded HPolyhedron (#3234) (@schillic) - Fix #3238 -- MathOptInterface -> MOI (#3239) (@lassepe) - Update Project.toml (#3240) (@schillic)

- Julia
Published by github-actions[bot] almost 3 years ago

lazysets.jl - v2.5.0

LazySets v2.5.0

Diff since v2.4.0

Announcements

Contributors for this release:

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

Breaking changes

• Generalize ConvexSet to LazySet in lazy operations (#3195)

---

Merged pull requests: - Generalize ConvexSet to LazySet in lazy operations (#3195) (@schillic) - Update Project.toml (#3196) (@schillic)

- Julia
Published by github-actions[bot] over 3 years ago

lazysets.jl - v2.4.0

LazySets v2.4.0

Diff since v2.3.0

Announcements

Contributors for this release:

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

Breaking changes

• Rename VPolygonNC to Polygon (#3138)
• Translation of EmptySet and Universe are now simplified automatically (absorbing elements) (#3184)

Features

• Add some functionality for VPolygonNC (#3127)
• Add unary convex hull of general sets with a vertices_list method (#3148)
• Add is_polyhedral for Bloating (#3154)
• Add isboundedtype for CachedMinkowskiSum (#3170)

Enhancements

• Revise iterative_refinement code (#3121)
• Revise template_directions code (#3122)
• Generalize plotting to LazySet (#3127)
• Revise decompositions code (#3128)
• Revise distance code and generalize to LazySet (#3129)
• Revise exact_sum code (#3130)
• Revise isstrictsubset code and generalize to LazySet (#3131)
• Revise linear_combination code (#3132)
• Revise minkowski_difference code and generalize to LazySet (#3133)
• Revise difference code and generalize to LazySet (#3134)
• Revise cartesian_product code and generalize to LazySet (#3135)
• Revise plot recipes (#3139)
• Change default overapproximation of polynomial zonotopes (#3139)
• Revise AbstractSingleton code (in particular, the membership check is now approximate) (#3143)
• Remove unused type parameters (#3141)
• Revise overapproximate code and generalize to LazySet (#3140)
• Add some sets to unions CompactSet and NonCompactSet (#3142)
• Revise AbstractPolytope code (#3144)
• Revise minkowski_sum code and generalize to LazySet (#3145)
• Revise intersection code and generalize to LazySet (#3147)
• Revise LazySet code (#3149)
• Revise AbstractPolygon code (#3151)
• Revise convex_hull code and generalize to LazySet (behavioral change: vertices are sorted in 1D) (#3148)
• Revise AbstractPolyhedron code (#3150)
• Revise AbstractCentrallySymmetric code (#3152)
• Revise AbstractCentrallySymmetricPolytopic code (#3153)
• Revise issubset code and generalize to LazySet (behavioral change: use some approximate equality checks) (#3154)
• Revise Bloating code (#3103)
• Revise isdisjoint code and generalize to LazySet (#3156)
• Revise AbstractHyperrectangle code (#3157)
• Revise convert code and generalize to LazySet (#3159)
• Revise AbstractPolyhedron code (#3161)
• Revise HPolyhedron code (#3162)
• Revise AbstractAffineMap code (#3163)
• Revise HPolygon, HPolygonOpt, and AbstractHPolygon code (#3164)
• Revise macros code (#3165)
• Revise DensePolynomialZonotope code (#3166)
• Revise SimpleSparsePolynomialZonotope code (#3167)
• Revise AffineMap code (#3168)
• Revise CachedMinkowskiSum code (#3170)
• Revise CartesianProductArray code (#3171)
• Revise ConvexHullArray code and generalize to LazySet (#3172)
• Revise IntersectionArray code (#3173)
• Revise MinkowskiSumArray code (#3174)
• Revise UnionSetArray code and generalize to LazySet (#3175)
• Revise CartesianProduct code (#3176)
• Revise ConvexHull code and generalize to LazySet (#3177)
• Revise Intersection code (#3178)
• Revise MinkowskiSum code (#3179)
• Revise UnionSet code and generalize to LazySet (#3180)
• Revise InverseLinearMap code (#3181)
• Revise QuadraticMap code (#3182)
• Revise ResetMap code (#3183)
• Revise Translation code (#3184)
• Generalize ConvexSet methods to LazySet (#3185)
• Revise SymmetricIntervalHull code and generalize to LazySet (#3187)
• Revise LinearMap code (#3188)
• Revise ExponentialMap code (#3189)
• Revise SparsePolynomialZonotope code (#3190)
• Revise AbstractZonotope code (#3191)
• Revise Rectification code (in particular finish the ∈ implementation) and generalize to LazySet (#3192)

Bug fixes

• Fix plotting of 3D singletons via plot (#3143)
• Fix empty intersection of two VPolygons/VPolytopes (#3147)
• Fix a crash in ⊆(::LazySet, ::UnionSetArray) (#3154)
• Let the InverseLinearMap constructors from ZeroSet and EmptySet produce consistent dimensions (#3181)
• Make dim of ConvexHullArray and UnionSetArray consistent with other array set types (#3172, #3175)
• LinearMap of an EmptySet now correctly changes the dimension (#3188)
• ExponentialMap of an EmptySet now correctly changes the dimension (#3189)

Internal changes

• Outsource ExponentialProjectionMap to its own file (#3189)
• Outsource FallbackGeneratorIterator to ReachabilityBase (now called ColumnIterator)

---

Closed issues: - Restrict generic inclusion between line segment and lazy sets to convex type (#1856) - Extend LazySet to non-convex sets (#1895) - Unary convex hull (#2755) - Rename VPolygonNC to Polygon (#3137)

Merged pull requests: - Revise Bloating code (#3103) (@schillic) - Revise iterativerefinement code (#3121) (@schillic) - Revise templatedirections code (#3122) (@schillic) - Generalize plotting to non-convex sets and add some functionality for VPolygonNC (#3127) (@schillic) - Revise decompositions code (#3128) (@schillic) - Revise distance code and generalize to LazySet (#3129) (@schillic) - Revise exactsum code (#3130) (@schillic) - Revise isstrictsubset code and generalize to LazySet (#3131) (@schillic) - Revise linearcombination code (#3132) (@schillic) - revise minkowskidifference code and generalize to LazySet (#3133) (@schillic) - Revise difference code and generalize to LazySet (#3134) (@schillic) - Revise cartesianproduct code and generalize to LazySet (#3135) (@schillic) - Fix docstring (#3136) (@schillic) - #3137 - Rename VPolygonNC to Polygon (#3138) (@schillic) - Revise plotrecipes code and overapproximation of SPZ (#3139) (@schillic) - Revise overapproximate code and generalize to LazySet (#3140) (@schillic) - Remove unused type parameters (#3141) (@schillic) - Add some sets to unions (Non)CompactSet (#3142) (@schillic) - Revise AbstractSingleton code (#3143) (@schillic) - Revise AbstractPolytope code (#3144) (@schillic) - Revise minkowskisum code and generalize to LazySet (#3145) (@schillic) - Update publications (#3146) (@schillic) - Revise intersection code and generalize to LazySet (#3147) (@schillic) - Revise convex_hull code and generalize to LazySet (#3148) (@schillic) - Revise LazySet code (#3149) (@schillic) - Revise AbstractPolyhedron code (#3150) (@schillic) - Revise AbstractPolygon code (#3151) (@schillic) - Revise AbstractCentrallySymmetric code (#3152) (@schillic) - Revise AbstractCentrallySymmetricPolytopic code (#3153) (@schillic) - Revise issubset code and generalize to LazySet (#3154) (@schillic) - Revise isdisjoint code and generalize to LazySet (#3156) (@schillic) - Revise AbstractHyperrectangle code (#3157) (@schillic) - Revise convert code and generalize to LazySet (#3159) (@schillic) - Revise AbstractPolyhedron code (#3161) (@schillic) - Revise HPolyhedron code (#3162) (@schillic) - Revise AbstractAffineMap code (#3163) (@schillic) - Revise HPolygon, HPolygonOpt, and AbstractHPolygon code (#3164) (@schillic) - Revise macros code (#3165) (@schillic) - Revise DensePolynomialZonotope code (#3166) (@schillic) - Revise SimpleSparsePolynomialZonotope code (#3167) (@schillic) - Revise AffineMap code (#3168) (@schillic) - Revise CachedMinkowskiSum code (#3170) (@schillic) - Revise CartesianProductArray code (#3171) (@schillic) - Revise ConvexHullArray code and generalize to LazySet (#3172) (@schillic) - Revise IntersectionArray code (#3173) (@schillic) - Revise MinkowskiSumArray code (#3174) (@schillic) - Revise UnionSetArray code and generalize to LazySet (#3175) (@schillic) - Revise CartesianProduct code (#3176) (@schillic) - Revise ConvexHull code and generalize to ConvexSet (#3177) (@schillic) - Revise Intersection code (#3178) (@schillic) - Revise MinkowskiSum code (#3179) (@schillic) - Revise UnionSet code and generalize to LazySet (#3180) (@schillic) - Revise InverseLinearMap code (#3181) (@schillic) - Revise QuadraticMap code (#3182) (@schillic) - Revise ResetMap code (#3183) (@schillic) - Revise Translation code (#3184) (@schillic) - Generalize ConvexSet methods to LazySet (#3185) (@schillic) - Revise SymmetricIntervalHull code and generalize to LazySet (#3187) (@schillic) - Revise LinearMap code (#3188) (@schillic) - Revise ExponentialMap code (#3189) (@schillic) - Revise SparsePolynomialZonotope code (#3190) (@schillic) - Revise AbstractZonotope code (#3191) (@schillic) - Revise Rectification code and generalize to LazySet (#3192) (@schillic) - Update Project.toml (#3193) (@schillic)

- Julia
Published by github-actions[bot] over 3 years ago

lazysets.jl - v2.3.0

LazySets v2.3.0

Diff since v2.2.1

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Luca Ferranti (@lucaferranti)
• Mauricio Vanzulli (@mvanzulli) (first-time contributor)

Breaking changes

• The normalize option in the Line constructor now defaults to false (#3086)
• symmetric_interval_hull of an Interval now also returns a Hyperrectangle (makes the function type stable) (#3118)

Features

• Add reduce_order for SparsePolynomialZonotope (#3069)
• Add overapproximate of a QuadraticMap of a SparsePolynomialZonotope with a SparsePolynomialZonotope (#3056)
• Add translate for UnionSetArray (#3070)
• Add non-convex polygon type VPolygonNC (#3116)

Enhancements

• Generalize reduce_order to AbstractZonotope (#3071)
• Generalize box_approximation to LazySet (#3072)
• Generalize low, high, extrema to LazySet (#3074)
• Generalize some overapproximate methods to LazySet (#3075)
• Let box_approximation use extrema, which is sometimes more efficient (#3076)
• Revise EmptySet code (#3079, #3080)
• Revise HalfSpace code (#3081)
• Revise Interval code (#3084, #3087)
• Revise HParallelotope code (#3085, #3087)
• Revise Line2D code (#3088)
• Revise LineSegment code (#3089)
• Revise Line code (#3086)
• Revise Hyperplane code (#3090)
• Revise RotatedHyperrectangle code (#3091)
• Revise Singleton code (#3092)
• Revise ZeroSet code (#3093)
• Revise Universe code (#3094)
• Revise Hyperrectangle code (#3095)
• Revise Star code; in particular, rand now returns a more general set (#3096)
• Revise Zonotope code (#3097)
• Generalize Javis and Polyhedra interfaces to LazySet (#3098)
• Revise QuadraticMap code (#3099)
• Revise sampling code and generalize to LazySet (#3100)
• Revise HPolytope code (#3102)
• Add isbounded method for list of constraints (#3102)
• Revise VPolygon code (#3106)
• Revise AbstractPolynomialZonotope and AbstractStar code (#3109)
• Revise helper functions and generalize to LazySet (#3110)
• Revise Parallel code and generalize to LazySet (#3112)
• Revise paraview code and generalize to LazySet (#3113)
• Revise plot3d code and generalize to LazySet (#3114)
• Revise Complement code and generalize to LazySet (#3104)
• Revise VPolytope code (#3107)
• Revise box_approximation ballinf_approximation and symmetric_interval_hull code (#3118)
• concretize(::SymmetricIntervalHull) does not call concretize recursively anymore (#3118)
• Revise some Approximations code, in particular extend underapproximate via support-vector queries in given directions to unbounded sets (at least in principle; many sets throw an error in these cases) (#3119)

Bug fixes

• Fix output dimension of linear_map for an EmptySet (#3079)
• Fix project of Line2D with block [2, 1] (#3088)
• Fix normalize option in Line constructor (#3086)
• Fix linear_map for Line (could fail if the result was a singleton) (#3086)
• Fix linear_map for ZeroSet (always returned a Float64 set) (#3093)
• Fix genmat for Hyperrectangles with sparse vectors (#3095)
• Fix project of VPolygon (#3106)
• Fix (de)activate_assertions (#3111)
• Fix translate!, project, and tohrep for VPolytope (#3107)
• Fix underapproximate with a Hyperrectangle (sometimes crashed) (#3119)

Internal changes

• Move docstrings for sparse polynomial zonotopes and code of exact_sum to files for binary operations (#3067)
• Update packages using LazySets (#3066)
• Reorder polynomial zonotopes in docs (#3083)
• Remove box_approximation_helper (#3118)

---

Closed issues: - Create single generator for approximately flat LineSegment (#2001) - Errors when computing intersection(HPolytope, Zonotope) (#3059)

Merged pull requests: - add unary quadraticmap for SPZ (#3056) (@lucaferranti) - Manual update: reorder packages and add contributor (#3066) (@schillic) - move docstrings for spz and sspz to binaryfunctions.md (#3067) (@lucaferranti) - add reduce_order for SPZ (#3069) (@lucaferranti) - Add translate for UnionSetArray (#3070) (@schillic) - Generalize reduceorder to AbstractZonotope (#3071) (@schillic) - Generalize boxapproximation to LazySet (#3072) (@schillic) - Generalize low, high, extrema to LazySet (#3074) (@schillic) - Generalize some overapproximate methods from ConvexSet to LazySet (#3075) (@schillic) - Let boxapproximation use extrema (#3076) (@schillic) - Revise EmptySet code (#3079) (@schillic) - Remove wrong docs entries for EmptySet (#3080) (@schillic) - Revise HalfSpace code (#3081) (@schillic) - Reorder polynomial zonotopes in docs (#3083) (@schillic) - Revise Interval code (#3084) (@schillic) - Revise HParallelotope code (#3085) (@schillic) - Revise Line code (#3086) (@schillic) - Fix constraintslist docs HParallelotope/Interval (#3087) (@schillic) - Revise Line2D code (#3088) (@schillic) - Revise LineSegment code (#3089) (@schillic) - Revise Hyperplane code (#3090) (@schillic) - Revise RotatedHyperrectangle code (#3091) (@schillic) - Revise Singleton code (#3092) (@schillic) - Revise ZeroSet code (#3093) (@schillic) - Revise Universe code (#3094) (@schillic) - Revise Hyperrectangle code (#3095) (@schillic) - Revise Star code (#3096) (@schillic) - Revise Zonotope code (#3097) (@schillic) - Generalize Initialization folder to LazySet (#3098) (@schillic) - Revise QuadraticMap code (#3099) (@schillic) - Revise samples code and generalize to LazySet (#3100) (@schillic) - Some docs improvements (#3101) (@schillic) - Revise HPolytope code and generalize isbounded to list of constraints (#3102) (@schillic) - Revise Complement code and generalize to LazySet (#3104) (@schillic) - Use Julia v1.8 in CI (#3105) (@schillic) - Revise VPolygon code (#3106) (@schillic) - Revise VPolytope code (#3107) (@schillic) - Remove interface comments (#3108) (@schillic) - Revise AbstractPolynomialZonotope and AbstractStar (#3109) (@schillic) - Revise helper functions and generalize to LazySet (#3110) (@schillic) - Fix (de)activateassertions (#3111) (@schillic) - Revise Parallel code and generalize to LazySet (#3112) (@schillic) - Revise paraview code and generalize to LazySet (#3113) (@schillic) - Revise mesh code and generalize to LazySet (#3114) (@schillic) - Include non-convex polygon struct VPolygonNC :eightspoked_asterisk: (#3116) (@mvanzulli) - Revise box-/ballinf-approximation and sih code (#3118) (@schillic) - Revise some Approximations code (#3119) (@schillic) - Update Project.toml (#3125) (@mforets)

- Julia
Published by github-actions[bot] over 3 years ago

lazysets.jl - v2.2.1

LazySets v2.2.1

Diff since v2.2.0

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Luca Ferranti (@lucaferranti)

Features

• Add minkowski_sum for SparsePolynomialZonotopes (#3057)
• Add translate for SparsePolynomialZonotope (#3058)

Enhancements

• Revise BallInf code (#3063)
• Revise Ellipsoid code (#3065)

Bug fixes

• Pass @__MODULE__ to require function explicitly (this avoids problems when used from within other modules) (#3064)

---

Closed issues: - ERROR: AssertionError: package 'Polyhedra' not loaded (it is required for executing tohrep) despite it being present (#3062)

Merged pull requests: - add minkowski sum for sparse polynomial zonotope (#3057) (@lucaferranti) - Add translate for SPZ (#3058) (@lucaferranti) - Revise BallInf code (#3063) (@schillic) - Pass MODULE to require function explicitly (#3064) (@schillic) - Revise Ellipsoid code (#3065) (@schillic)

- Julia
Published by github-actions[bot] over 3 years ago

lazysets.jl - v2.2.0

LazySets v2.2.0

Diff since v2.1.1

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Luca Ferranti (@lucaferranti)

Breaking changes

• We redefined the semantics of AbstractCentrallySymmetric to be convex. (This is not breaking inside this library because there were no non-convex subtypes defined, but if an external package defined another subtype, this may be breaking.) (#3054)
• We renamed chebyshev_center to chebyshev_center_radius, which now always returns both the center and the radius. It is now also available for lazy polytopic sets. Furthermore, the radius for Intervals was fixed. (#3055)

Features

• Add remove_redundant_generators for SparsePolynomialZonotopes (#3043)
• Add underapproximate with a Ball2 (#3055)

Enhancements

• We replaced the optional dependency StaticArrays by the hard dependency StaticArraysCore. The switch is because StaticArraysCore is more lightweight. We made it a hard dependency because it prevented Revise from working. (#3045)
• Remove Pkg dependency (#3046)
• Use updated require function from ReachabilityBase and do not modify it (avoids conflicts with other packages) (#3049)
• Add more efficient extrema methods for AbstractCentrallySymmetric and AbstractCentrallySymmetricPolytope(#3048)
• Revise Ball1 code (#3050)
• Revise Ball2 code (#3051)
• Revise Ballp code (#3052)

Bug fixes

• Fix isconvextype to return true for ConvexSet and AbstractCentrallySymmetric; define a fallback implementation for LazySet as false; move some method documentations of ConvexSet to the right place (#3054)

---

Closed issues: - Review SPZ remove_redundant_generators (compact) (#3029)

Merged pull requests: - add removeredundantgenerators for SPZ (#3043) (@lucaferranti) - Switch to StaticArraysCore and make it a direct dependency (#3045) (@schillic) - Remove Pkg dependency (#3046) (@schillic) - Add extrema for AbstractCentrallySymmetric(Polytope) (#3048) (@schillic) - Use updated require function from ReachabilityBase (#3049) (@schillic) - Revise Ball1 code (#3050) (@schillic) - Revise Ball2 code (#3051) (@schillic) - Revise Ballp code (#3052) (@schillic) - Fix isconvextype (#3054) (@schillic) - underapproximate with a Ball2 (#3055) (@schillic)

- Julia
Published by github-actions[bot] over 3 years ago

lazysets.jl - v2.1.1

LazySets v2.1.1

Diff since v2.1.0

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Luca Ferranti (@lucaferranti)
• Lasse Peters (@lassepe) (first-time contributor)

Features

• Add Zonotope enclosure of SparsePolynomialZonotope (#3028)
• Add generalized quadratic_map for SimpleSparsePolynomialZonotopes (#3037)

Enhancements

• Generalize code for inclusion checking in a UnionSetArray (#3041)

Bug fixes

• Fix bug that prevented from using Revise and Ipopt together (#3042)

---

Closed issues: - Sparse polynomial zonotopes (#1543) - Inclusion in union (#3012) - quadratic_map on SSPZ should call remove_redundant_generators (#3032) - Cannot load LazySets and Ipopt simulatneously when Revise is active (#3040) - remove redundants (#3044)

Merged pull requests: - add Zonotope enclosure of SPZ (#3028) (@lucaferranti) - add generalized quadratic map for SSPZ (#3037) (@lucaferranti) - #3012 - Generalize code for inclusion in union (#3041) (@schillic) - Hotfix for Revise/Require bug (#3042) (@lassepe)

- Julia
Published by github-actions[bot] over 3 years ago

lazysets.jl - v2.1.0

LazySets v2.1.0

Diff since v2.0.0

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Luca Ferranti (@lucaferranti)

Breaking changes

• Rename genmat and ngens methods for sparse polynomial zonotopes (#3035)

Features

• Add underapproximate of a polygon with a box of maximum area (#3011)
• Add project for UnionSetArray (#3026)
• Add exact_sum for SparsePolynomialZonotopes (#3025)

Enhancements

• Add missing convert to Interval and to/from IntervalArithmetic.Interval (#3024)
• Extend linear_map for polynomial zonotopes (#3036)

---

Closed issues: - minor list (#215) - Investigate performance regression in Reachability with LinearMap (#1054) - Make PolynomialZonotope a LazySet (#1845) - Make unions a LazySet (#1846) - Make Complement a LazySet (#2407) - Make AbstractStar a LazySet (#2553) - Make multiplication with a scalar fall back to scale (#2609) - Polytope underapproximation of connected union of boxes (#3000) - Rename independent_genmat and dependent_genmat (#3031)

Merged pull requests: - Underapproximation of polygon with box (#3011) (@schillic) - Complete conversion to/from IA.Interval (#3024) (@schillic) - added exact sum for sparse polynomial zonotopes (#3025) (@lucaferranti) - project for UnionSetArray (#3026) (@schillic) - rename genmat methods for spz (#3035) (@lucaferranti) - update linear map for polynomial zonotopes (#3036) (@lucaferranti)

- Julia
Published by github-actions[bot] over 3 years ago

lazysets.jl - v2.0.0

LazySets v2.0.0

Diff since v1.59.1

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Luca Ferranti (@lucaferranti)

Breaking changes

• LazySet is not restricted to convex sets anymore. This is a major breaking change if convexity was assumed. To write code with the previous restriction to convex sets, you can use ConvexSet instead. Currently there is no additional functionality for LazySet types that are not ConvexSet, but the code will be generalized from ConvexSet to LazySet step by step. Hence, over time, the ConvexSet restriction may become redundant and be removed. The long-term solution to check for convexity by type is to use the isconvextype trait. (#3022, #3023)
• Outsource auxiliary code to ReachabilityBase (#3021)

Features

• Add ConvexSet interface (#2992)
• Add rand for SparsePolynomialZonotope (#3020)

---

Closed issues: - Add rand function to PZ subtypes (#2984)

Merged pull requests: - change LazySet to ConvexSet (#2992) (@lucaferranti) - add rand for SparsePolynomialZonotope (#3020) (@lucaferranti) - Outsource auxiliary code to ReachabilityBase (#3021) (@schillic) - Make set types a subtype of LazySet (#3022) (@schillic) - Remove inherited interface requirement (#3023) (@schillic)

- Julia
Published by github-actions[bot] over 3 years ago

lazysets.jl - v1.59.1

LazySets v1.59.1

Diff since v1.59.0

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Luca Ferranti (@lucaferranti)

Features

• SparsePolynomialZonotope (#3015, #3016)

Enhancements

• rand for SimpleSparsePolynomialZonotope (#3017)

---

Merged pull requests: - initial implementation of SparsePolynomialZonotope (#3015) (@lucaferranti) - SPZ conversions (#3016) (@lucaferranti) - implement rand(::SimpleSparsePolynomialZonotope) (#3017) (@lucaferranti)

- Julia
Published by github-actions[bot] over 3 years ago

lazysets.jl - v1.59.0

LazySets v1.59.0

Diff since v1.58.1

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Luca Ferranti (@lucaferranti)

Breaking changes

• Make quadratic_map of a Zonotope an overapproximate method (#3002)

Features

• Add inclusion check for box in union of boxes (#2989)
• Add quadratic_map for SimpleSparsePolynomialZonotope (#2990)
• Add simplification function (reduce_redundant_generators) for simple SPZ (#3009)

Enhancements

• Fast symmetric_interval_hull for V-rep and LineSegment (#3001)
• Numerically robust membership check for Hyperplane and Line2D (#3003)
• Remove redundant overapproximation in some function (#3004)

Internal changes

• Update documentation with Makie/GLMakie in plot3d (#2852)

---

Closed issues: - Specialized iterator methods constraints and vertices (#2264) - Approximate hyperplane membership test (#2919) - Add quadratic map of SPZ (#2982) - Make quadratic_map an overapproximate method (#2993) - Compute the largest box inside a connected union of boxes (#2999) - Simplifations of sspz (#3005)

Merged pull requests: - Updates in plot3d (#2852) (@mforets) - Inclusion check for box in union of boxes (#2989) (@schillic) - add quadratic map for sspz (#2990) (@lucaferranti) - Fast symmetricintervalhull for V-rep (#3001) (@schillic) - #2993 - Make quadraticmap an overapproximate method (#3002) (@schillic) - #2919 - Numerically robust membership check for Hyperplane and Line2D (#3003) (@schillic) - Remove redundant overapproximation (#3004) (@schillic) - check convexity in line segment (#3007) (@mforets) - add removeredundant_generators for sspz (#3009) (@lucaferranti) - Update Project.toml (#3010) (@mforets)

- Julia
Published by github-actions[bot] over 3 years ago

lazysets.jl - v1.58.1

LazySets v1.58.1

Diff since v1.58.0

Here we collect the new features, bug fixes, etc. for the next release.

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Luca Ferranti (@lucaferranti)

Features

• Add convert from AbstractZonotope to SimpleSparsePolynomialZonotope (#2991)

Enhancements

• Improved documentation of SimpleSparsePolynomialZonotope (#2996)

Bug fixes

• Fix overapproximate of a ConvexHull of zonotopes including a 0-generator zonotope (#2995)

Internal changes

• Activate docs preview (#2998)

---

Closed issues: - Conversion from abstract zonotope to PZ (#2983) - Overapproximate CH with 0-gens zonotope (#2994) - should genmat(::Hyperrectangle) return a diagonal matrix? (#2997)

Merged pull requests: - add conversion from zonotope to sspz (#2991) (@lucaferranti) - Overapproximate CH with 0-gens zonotope (#2995) (@mforets) - sspz docs tweaks (#2996) (@mforets) - add docs preview (#2998) (@lucaferranti)

- Julia
Published by github-actions[bot] over 3 years ago

lazysets.jl - v1.58.0

LazySets v1.58.0

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Luca Ferranti (@lucaferranti)

Breaking changes

• Rename PolynomialZonotope to DensePolynomialZonotope, add AbstractPolynomialZonotope interface (#2967)

Features

• Add SimpleSparsePolynomialZonotope (#2972, #2976) and operations (#2978, #2979, #2981)

Enhancements

• Better assertion message (#2971)
• Special sampler for singletons (#2970)
• Improved order reduction methods, (#2220)

Bug fixes

• Fix constraints_list of CartesianProduct and CartesianProductArray (#2969)

Internal changes

• Fix doctest (StaticArrays output changed) (#2986)

---

Diff since v1.57.0

Closed issues: - Special sampler for singletons (#2960) - Implement simple sparse polynomial zonotope (#2965) - Plotting mechanism for polynomial zonotopes (#2966) - Issue calling convex_hull with new LazySets version (#2973) - Fix doctest (StaticArrays output changed) (#2985)

Merged pull requests: - Improved order reduction methods (#2220) (@mforets) - Update polynomial zonotope, add interface (#2967) (@mforets) - Update publications (#2968) (@schillic) - Fix constraintslist of CartesianProduct(Array) (#2969) (@schillic) - #2960 - Special sampler for singletons (#2970) (@schillic) - Better assertion message (#2971) (@schillic) - initial implementation of sparse polynomial zonotopes (#2972) (@lucaferranti) - Update optionaldependencies.md (#2974) (@mforets) - Add plotting recipe for SPZ (#2976) (@mforets) - operations on simple sparse polynomial zonotopes (#2978) (@lucaferranti) - linear combination and convex hull on sspz (#2979) (@lucaferranti) - change PolynomialZonotope to point to SSPZ (#2980) (@lucaferranti) - Fix linear_combination for SSPZ (#2981) (@schillic) - #2985 - Fix doctest (StaticArrays output changed) (#2986) (@schillic) - Update CI scripts & publications (#2987) (@schillic) - Add DOI (#2988) (@schillic)

- Julia
Published by github-actions[bot] over 3 years ago

lazysets.jl - v1.57.0

LazySets v1.57.0

Diff since v1.56.3

Announcements

Contributors for this release:

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

Breaking changes

• Drop support for Julia v1.5 (#2955)

Features

• center for lazy operations (#2963)
• Add special cases for isdisjoint and issubset involving Universe (#2964)

Enhancements

• Pass ztol to removevredundancy! (#2955)
• vararg constructor for Singleton (#2962)

---

Closed issues: - Polytope is determined nonempty but has no vertex (#2827) - Vararg constructor for Singleton (#2961)

Merged pull requests: - #2827 - Pass ztol to removevredundancy! (#2955) (@schillic) - #2961 - Vararg constructor for Singleton (#2962) (@schillic) - center for lazy operations (#2963) (@schillic) - Add special cases for disjointness and inclusion involving universe (#2964) (@mforets)

- Julia
Published by github-actions[bot] almost 4 years ago

lazysets.jl - v1.56.3

LazySets v1.56.3

Diff since v1.56.2

Announcements

Contributors for this release:

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

Features

• volume for polytopes (#2957)

---

Closed issues: - Volume of polytope (#2111) - Regression in Symbolics (gradient with variable array) (#2952)

Merged pull requests: - #2111 - Volume for polytopes (#2957) (@schillic) - #2952 - Bring back formerly broken Symbolics test (#2958) (@schillic) - Update Project.toml (#2959) (@schillic)

- Julia
Published by github-actions[bot] almost 4 years ago

lazysets.jl - v1.56.2

LazySets v1.56.2

Diff since v1.56.1

Announcements

Contributors for this release:

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

Enhancements

• New version of JuMP (#2953)

---

Merged pull requests: - Escape inverse slash in docstring. (#2951) (@nablabits) - CompatHelper: bump compat for JuMP to 1, (keep existing compat) (#2953) (@github-actions[bot])

- Julia
Published by github-actions[bot] almost 4 years ago

lazysets.jl - v1.56.1

LazySets v1.56.1

Diff since v1.56.0

Announcements

Contributors for this release:

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

Features

• Add center methods for Translation and Bloating (#2949)

---

Closed issues: - Improved Documentation (#2944) - mean, center, meta-functions (#2947)

Merged pull requests: - Update optional_dependencies.md (#2948) (@mforets) - center of lazy translation and bloating (#2949) (@mforets)

- Julia
Published by github-actions[bot] almost 4 years ago

lazysets.jl - v1.56.0

LazySets v1.56.0

Diff since v1.55.0

Announcements

Contributors for this release:

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

Breaking changes

• In the intersection method for AbstractHPolygons, the positional argument prune was changed to a keyword argument for consistency (#2935)

Enhancements

• Faster concrete intersection of mixed polygons (#2935)
• New versions of GLPK (#2939, #2943), Polyhedra and CDDLib (#2943, #2942), and JuMP (#2942)
• Faster low and high methods for Zonotope (#2941)

Internal changes

• A test that was commented out in #2923 for compatibility reasons was brought back (#2931)
• IntervalConstraintProgramming was excluded from the tests due to package incompatibilities (#2942)

---

Closed issues: - Update optional dependencies page in the manual (#2924) - Reach sets (#2933) - GLPK not thread safe? (#2934)

Merged pull requests: - Add JCON badge to README (#2930) (@schillic) - Bring back fixed test (#2931) (@schillic) - Faster concrete intersection of mixed polygons (#2935) (@schillic) - Move Optional Dependencies to its own page (#2936) (@mforets) - Use test/Project file (#2939) (@schillic) - Update CI scripts (#2940) (@schillic) - Faster low/high for Zonotope (#2941) (@schillic) - CompatHelper: bump compat for JuMP to 0.23, (keep existing compat) (#2942) (@github-actions[bot]) - Fix GLPK v1 and update Polyhedra & CDDLib (#2943) (@schillic) - Update MinkowskiSum.jl (#2945) (@mforets) - Update Project.toml (#2946) (@mforets)

- Julia
Published by github-actions[bot] almost 4 years ago

lazysets.jl - v1.55.0

LazySets v1.55.0

Diff since v1.54.0

Announcements

Contributors for this release:

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

Breaking changes

• Drop MathProgBase and GLPKMathProgInterface solver support and instead use JuMP. This currently breaks some support for applying GLPK in exact solve mode due to an external error. This also increases the loading time of the package. (#2923)

---

Closed issues: - Deprecated GLPKMathProgInterface brings forward compatibility issues of LazySets with other packages (#2922)

Merged pull requests: - Revamp optimization deps (#2923) (@mforets) - Update Project.toml (#2929) (@mforets)

- Julia
Published by github-actions[bot] about 4 years ago

lazysets.jl - v1.54.0

LazySets v1.54.0

Diff since v1.53.4

Announcements

Contributors for this release:

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

Breaking changes

• Require Julia v1.5 or higher (#2920)

Features

• Sampling from Hyperplane/Line2D (#2918)

Enhancements

• Update to new version of Symbolics (#2920)
• Update optional dependencies (#2927, #2928)

Internal changes

• Remove custom build script (#2927)

---

Closed issues: - Update to new version of Symbolics (#2825) - Remove custom build script (#2926)

Merged pull requests: - Use Julia v1.7 in CI & change exponentiation backend in docs build (#2916) (@schillic) - Update README.md (#2917) (@mforets) - Sampling from Hyperplane/Line2D (#2918) (@schillic) - #2825 - Update to new version of Symbolics (#2920) (@schillic) - Update citation (#2921) (@schillic) - Update Project.toml (#2925) (@schillic) - #2926 - Remove custom build script (#2927) (@schillic) - Fix hyphen syntax in Project file (#2928) (@schillic)

- Julia
Published by github-actions[bot] about 4 years ago

lazysets.jl - v1.53.4

LazySets v1.53.4

Diff since v1.53.3

Announcements

Contributors for this release:

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

Features

• Add linear_map for UnionSet and UnionSetArray (#2902)
• Add volume for UnionSet, Intersection, and EmptySet (#2910)
• Add reflect of a point in a Hyperplane (#2912)
• Add sample from a HalfSpace (#2912)
• Add ExponentialUtilities as exponentiation backend (and make adding other backends easy) (#2907)

Bug fixes

• Fix isempty(::HParallelotope) (#2875)

Internal changes

• Use Github Actions instead of Appveyor (#2899)
• Change documentation layout (#2914)

---

Closed issues: - Add more exponentiation backends (#1312) - Dark mode contrast for notes sections (#2913)

Merged pull requests: - Fix isempty(::HParallelotope) (#2875) (@schillic) - Revise scripts (#2899) (@schillic) - Do not run CI on commits to master (#2900) (@schillic) - Update affiliation (#2901) (@schillic) - linear_map for UnionSet(Array) (#2902) (@schillic) - Undo #2900 (#2904) (@schillic) - Fix CI script (#2905) (@schillic) - Skip CI when changing README (#2906) (@schillic) - #1312 - Add more exponentiation backends (#2907) (@schillic) - volume for UnionSet, Intersection, EmptySet (#2910) (@schillic) - Sampling from HalfSpace (#2912) (@schillic) - simplify css, only keep aligned statement (#2914) (@mforets) - Update Project.toml (#2915) (@mforets)

- Julia
Published by github-actions[bot] about 4 years ago

lazysets.jl - v1.53.3

LazySets v1.53.3

Diff since v1.53.2

Announcements

Contributors for this release:

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

Features

• Generalize norm to arbitrary p-norms for polytopic sets (#2891)

Enhancements

• New version of TaylorModels (#2896)
• New version of JuMP (#2898)

Bug fixes

• Fix infinity norm (norm) of a set (the result was sometimes too big) (#2891)

Merged pull requests: - Fix and generalize norm for a set (#2891) (@schillic) - Update README.md (#2892) (@mforets) - Update README.md (#2893) (@schillic) - New version of TaylorModels (#2896) (@schillic) - Fix support function of Cartesian product in manual (#2897) (@schillic) - CompatHelper: bump compat for JuMP to 0.22, (keep existing compat) (#2898) (@github-actions[bot])

- Julia
Published by github-actions[bot] over 4 years ago

lazysets.jl - v1.53.2

LazySets v1.53.2

Diff since v1.53.1

Announcements

Contributors for this release:

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

Enhancements

• New version (v0.20) of IntervalArithmetic

---

Closed issues: - Update README and citation.... (#2880)

Merged pull requests: - Update README.md (#2889) (@mforets) - CompatHelper: bump compat for IntervalArithmetic to 0.20, (keep existing compat) (#2890) (@github-actions[bot])

- Julia
Published by github-actions[bot] over 4 years ago

lazysets.jl - v1.53.1

LazySets v1.53.1

Diff since v1.53.0

Announcements

Contributors for this release:

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

Breaking change in optional dependency

• Support newest version v0.8 of IntervalMatrices and drop support for old versions (#2888)

---

Merged pull requests: - New version of IntervalMatrices (#2888) (@schillic)

- Julia
Published by github-actions[bot] over 4 years ago

lazysets.jl - v1.53.0

LazySets v1.53.0

Diff since v1.52.1

Announcements

Contributors for this release:

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

Enhancements

• Allow mixing IntervalArithmetic types with LazySets in disjointness and inclusion checks (#2884)

Internal changes

• Swap isdisjoint and is_intersection_empty (#2887)

---

Merged pull requests: - Update LICENSE (#2881) (@mforets) - Update README.md (#2882) (@mforets) - duck typing some concrete ops with IA types (#2884) (@mforets) - Swap isdisjoint and isintersectionempty (#2887) (@schillic)

- Julia
Published by github-actions[bot] over 4 years ago

lazysets.jl - v1.52.1

LazySets v1.52.1

Diff since v1.52.0

Announcements

Contributors for this release:

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

Features

• Add concrete exponential_map (#2879)

---

Merged pull requests: - Add concrete exponential map (#2879) (@schillic)

- Julia
Published by github-actions[bot] over 4 years ago

lazysets.jl - v1.52.0

LazySets v1.52.0

Diff since v1.51.0

Announcements

Contributors for this release:

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

Breaking changes

• Remove VPolytope constructor from VPolygon (#2873)
• Change return value of remove_redundant_vertices! (#2873)

Features

• Add translate! for different set types
  • Balls (#2866)
  • Ellipsoid (#2868)
  • VPolygon and VPolytope (#2871)
  • Singleton, EmptySet, Universe (#2869)
• Add is_polyhedral (#2872)

Enhancements

• Add option to not remove redundant constraints in some intersection methods (#2863)
• Remove some redundant usages of copy (#2873)
• Add rationalize for vectors of numeric vectors (#2874)

Bug fixes

• Fix rationalize for VPolygon and VPolytope (#2874)

---

Closed issues: - Remove constructor of VPolytope from VPolygon (#2009) - Faster copy function for sets (#2261) - Add trait-like method polyhedral sets (#2634) - Rationalize not working with VPolygon (#2830) - Review usage of copy in library code (#2865)

Merged pull requests: - Add option to not remove redundant constraints (#2863) (@schillic) - In-place concrete translation for BallX (#2866) (@mforets) - in-place concrete translation for Ellipsoid (#2868) (@mforets) - In-place translation (cont'd) (#2869) (@mforets) - Note on interval translation (#2870) (@mforets) - In-place translation for VPoly (#2871) (@mforets) - #2634 - Add is_polyhedral function (#2872) (@schillic) - #2865 - Review usage of copy in library code (#2873) (@schillic) - #2830 - rationalize for nested numeric vectors (#2874) (@schillic) - Update make.jl (#2877) (@mforets) - Update Project.toml (#2878) (@mforets)

- Julia
Published by github-actions[bot] over 4 years ago

lazysets.jl - v1.51.0

LazySets v1.51.0

Diff since v1.50.0

Announcements

Contributors for this release:

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

Breaking changes

• Change order of type parameters for Translation (#2854)
• Redefine copy(::LazySet) to return a shallow copy as in Julia Base (#2322)

Features

• Add convex_hull of a Union (#2848)
• Add strict inclusion check ⊂ (#2853, #2857, #2860)
• Inclusion check of Interval in union of one-dimensional convex sets (#2849)
• Add getindex for array-based sets (#2858)
• Add FaceSampler to sample from the faces of a hyperrectangle (#2821)

Enhancements

• Show error message when sampling fails (#2846)
• Add more interfaces to underapproximate (#2306)
• More efficient box_approximation of ConvexHull and MinkowskiSum (#2847)
• Bump compat for GLPK to v0.15 (#2856)
• Add isboundedtype for lazy operations (#2842, #2859)
• Make convex_hull for EmptySet a no-op (#2861)

Bug fixes

• Fix _nonlinear_polynomial for constant polynomials (#2817)

Internal changes

• Remove identical specializations (#2855)
• Refactor overapproximate(::TM, ::Zonotope) (#2816)

---

Closed issues: - Make convex_hull for EmptySet a no-op (#2715) - Define getindex for arrays of sets (#2716) - Convex hull of a union (#2756) - Add isboundedtype methods for lazy operations (#2776) - Sampling from the faces of a hyperrectangle (#2819) - Inclusion of interval in union of intervals (#2831) - Concrete Minkowski sum in 2D with VPolygon does not trigger (#2837) - Change signature of Translation (#2839) - Box approximation of common lazy sets (#2845) - Strict inclusion (#2850)

Merged pull requests: - Clean up underapproximate (#2306) (@mforets) - Redefine copy(::LazySet) (#2322) (@schillic) - Refactor overapproximate(::TM, ::Zonotope) (#2816) (@schillic) - Fix nonlinearpolynomial for constant polynomials (#2817) (@schillic) - #2819 - Sampling from the faces of a hyperrectangle (#2821) (@schillic) - #2776 - Add isboundedtype methods for lazy operations (#2842) (@schillic) - Show error message when sampling fails (#2846) (@schillic) - #2845 - More efficient boxapproximation of CHull and MSum (#2847) (@schillic) - #2756 - Convex hull of a union (#2848) (@schillic) - #2831 - Inclusion of interval in union of intervals (#2849) (@schillic) - #2850 - Strict inclusion check (#2853) (@schillic) - #2839 - Change signature of Translation (#2854) (@schillic) - Remove identical specializations (#2855) (@schillic) - CompatHelper: bump compat for GLPK to 0.15, (keep existing compat) (#2856) (@github-actions[bot]) - Import ⊂ from IA (#2857) (@schillic) - #2716 - Define getindex for arrays of sets (#2858) (@schillic) - Fix isboundedtype(Translation) (#2859) (@schillic) - Fix ⊂ (for good) (#2860) (@schillic) - #2715 - Make convexhull for EmptySet a no-op (#2861) (@schillic) - Update Project.toml (#2862) (@schillic)

- Julia
Published by github-actions[bot] over 4 years ago

lazysets.jl - v1.50.0

LazySets v1.50.0

Diff since v1.49.1

Announcements

Contributors for this release:

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

Features

• Add a variant of the RandomWalkSampler (#2563)
• Add new CombinedSampler, which combines RejectionSampler and RandomWalkSampler (and make it the new default) (#2826)
• Add ⊡ (\boxdot) as alias for SymmetricIntervalHull (#2836)

Enhancements

• Generalize rectify from vectors to arrays (#2843)
• Add normalize parameter to overapproximate(::TM, Zonotope) (#2820)

Bug fixes

• Fix isbounded of 1D Hyperplane (#2841)
• Fix get_linear_coeffs for Taylor1 polynomials (a helper function used in the overapproximation with a Zonotope) (#2822)

Internal changes

• Change code examples to doctests (#2824)

---

Closed issues: - very slow sampling from a 3-dimensional HPolytope (Julia 1.5.2) (#2536) - Skip TM normalization if already normalized (#2818) - Change code examples to doctests (#2823) - update publication list on the README (#2834) - isbounded of 1D Hyperplane is wrong (#2840)

Merged pull requests: - Alternative polytope sampler (#2563) (@schillic) - Add 'normalize' parameter to overapproximate(::TM, Zonotope) (#2820) (@schillic) - Fix getlinearcoeffs (#2822) (@schillic) - #2823 - Change code examples to doctests (#2824) (@schillic) - Add more robust sampler (#2826) (@schillic) - Update README.md (#2835) (@mforets) - Add boxdot as alias for SymmetricIntervalHull (#2836) (@schillic) - #2840 - Fix isbounded of 1D Hyperplane (#2841) (@schillic) - Generalize rectify to arrays (#2843) (@schillic) - Update README.md (#2844) (@mforets)

- Julia
Published by github-actions[bot] over 4 years ago

lazysets.jl - v1.49.1

LazySets v1.49.1

Diff since v1.49.0

Announcements

Contributors for this release:

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

Enhancements

• Add constructors for H-rep sets (HPolyhedron/HPolytope/HPolygon/HPolygonOpt) from mixed HalfSpace types (#2815)
• cartesian_product does not require Polyhedra anymore (#2814)
• Faster symmetric_interval_hull for ExponentialMap of singletons and hyperrectangles (#2813)

---

Closed issues: - Common constraints list helper (#2048)

Merged pull requests: - Faster symmetricintervalhull for ExponentialMap of singletons and hyperrectangles (#2813) (@schillic) - cartesian_product not requiring Polyhedra (#2814) (@schillic) - #2048 - Add HPoly constructors from mixed HalfSpace types (#2815) (@schillic)

- Julia
Published by github-actions[bot] over 4 years ago

lazysets.jl - v1.49.0

LazySets v1.49.0

Diff since v1.48.3

Announcements

Contributors for this release:

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

Breaking changes

• make p in distance a keyword argument (#2802)

Features

• Add VTK optional dependency for visualization with Paraview (#2801)
• Add normalize for Hyperplane (#2803)
• Add more point-set distance methods for HalfSpace, Hyperplane, and AbstractHyperrectangle (#2803)
• Add set-set distance method where one set is an AbstractHyperrectangle (#2803)

Enhancements

• cartesian_product of a polyhedron P and a Universe now preserves the type of the constraints of P, which is more efficient if they are sparse (#2809)
• bump IntervalArithmetic to v0.19 (#2810)
• generators matrix (genmat) of Hyperrectangle with sparse center and radius returns a sparse array (#2812)

Internal changes

• move distance to a separate file in LazySets module (#2802)
• Add @commutative macro to simplify the code (avoids symmetric definitions) (#2807) and use it in refactoring (#2808)

---

Closed issues: - Add macro to create symmetric functions (#241) - Efficient concrete Cartesian product of hyperrectangular sets and Universe (#2741) - Inclusion check for Ball2 in polyhedron (#2805) - genmat of sparse linear map should return a sparse array (#2811)

Merged pull requests: - Add WriteVTK optional dep for visualization with Paraview (#2801) (@mforets) - Refactor distance; make p a kwarg (#2802) (@schillic) - Add point-set distance methods (#2803) (@schillic) - Update README.md (#2804) (@mforets) - fixed links in readme (#2806) (@lucaferranti) - Add commutative macro (#2807) (@mforets) - Use commutative macro (#2808) (@schillic) - #2741 - Efficient concrete Cartesian product of polyhedra and Universe (#2809) (@schillic) - CompatHelper: bump compat for "IntervalArithmetic" to "0.19" (#2810) (@github-actions[bot]) - #2811 - special case of genmat of sparse hyperrectangle (#2812) (@mforets)

- Julia
Published by github-actions[bot] over 4 years ago

lazysets.jl - v1.48.3

LazySets v1.48.3

Diff since v1.48.2

Announcements

Contributors for this release:

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

Features

• Allow for nonpositive lazy Bloating (#2800)

Internal changes

• Change implementation of σ for BallInf (may yield another result which is still correct; the support vector for BallInfs is generally not unique) (#2800)

---

Merged pull requests: - Allow for nonpositive lazy bloating (#2800) (@schillic)

- Julia
Published by github-actions[bot] over 4 years ago

lazysets.jl - v1.48.2

LazySets v1.48.2

Diff since v1.48.1

Announcements

Contributors for this release:

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

Bug fixes

• sample(::Ball2) now returns just a single vector, which is consistent with sample(::LazySet) (#2795)

Internal changes

• Document additional LineSegment plotting options (#2702)

---

Closed issues: - Document line segment plotting options (#2702)

Merged pull requests: - Remove wrong transpose in manual (#2794) (@schillic) - Make sample(::Ball2) consistent (#2795) (@schillic) - Update LineSegment.jl (#2796) (@mforets) - Update Project.toml (#2798) (@mforets)

- Julia
Published by github-actions[bot] over 4 years ago

lazysets.jl - v1.48.1

LazySets v1.48.1

Diff since v1.48.0

Announcements

Contributors for this release:

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

Enhancements

• Change numeric tolerance consistently and add (unexported) set_tolerance function to set all tolerances at once (defaulting to the default tolerance) (#2791)

Internal changes

• Update Documenter version (#2792)

---

Merged pull requests: - Revise numeric tolerance (#2791) (@schillic) - Update Documenter version (#2792) (@schillic) - Update Project.toml (#2793) (@mforets)

- Julia
Published by github-actions[bot] over 4 years ago

lazysets.jl - v1.48.0

LazySets v1.48.0

Announcements

Contributors for this release:

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

Features

• Add interval constructor from single number (#2787)
• Add Javis.jl as an optional dependency (#2769)

Enhancements

• Faster concrete symmetric interval hull for singletons (#2784) and linear maps of hyperrectangles (#2788)

---

Diff since v1.47.3

Closed issues: - Sign error in documentation of HParallelotope (#2772) - Faster sih of the linear map of a singleton (#2782) - Faster SIH of a linear map of a hyperrectangle (#2785)

Merged pull requests: - Add Javis.jl as an optional dependency (#2769) (@mforets) - #2782 - Faster symmetricintervalhull of singletons (#2784) (@schillic) - Add Interval constructor from single number (#2787) (@schillic) - #2785 - Faster SIH of a linear map of a hyperrectangle (#2788) (@schillic)

- Julia
Published by github-actions[bot] over 4 years ago

lazysets.jl - v1.47.3

LazySets v1.47.3

Diff since v1.47.2

Announcements

Contributors for this release:

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

Features

• Add chebyshev_center for singletons (#2777) and Interval (#2779)
• Add fallback for support function of lazy intersections (#2780)

Enhancements

• Better minkowski_sum for 2D polytopes (#2753)

Bug fixes

• Fix projection in unbounded dimensions (#2771)

---

Closed issues: - Generic concrete minkowski sum (#1599)

Merged pull requests: - #1599 - Better concrete Minkowski sum of 2D polytopes (#2753) (@schillic) - Fix projection in unbounded dimensions (#2771) (@schillic) - Remove redundant sentence from manual (#2773) (@schillic) - fix typo in BallInf docs (#2775) (@mforets) - Add chebyshevcenter for singletons (#2777) (@schillic) - Add chebyshevcenter for Interval (#2779) (@schillic) - Add a useful fallback for the support vector of lazy intersections (#2780) (@mforets) - Update Project.toml (#2781) (@mforets)

- Julia
Published by github-actions[bot] over 4 years ago

lazysets.jl - v1.47.2

LazySets v1.47.2

Diff since v1.47.1

Announcements

Contributors for this release:

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

Features

• Add DiagDirections template (#2767)

Internal changes

• Update continous integration and documentation to build on Julia v1.6 (#2544)

---

Closed issues: - Make ready for Julia v1.6 (#2503) - Ambiguity in RejectionSampler (#2754)

Merged pull requests: - #2503 - Make ready for Julia v1.6 (#2544) (@mforets) - Diag directions template (#2767) (@mforets) - Update Project.toml (#2770) (@mforets)

- Julia
Published by github-actions[bot] over 4 years ago

lazysets.jl - v1.47.1

LazySets v1.47.1

Diff since v1.47.0

Announcements

Contributors for this release:

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

Enhancements

• Only check boundedness with type information (constant time) in project for polyhedra (#2760)

Bug fixes

• Fix plotting of flat 1D sets (#2764)

Internal changes

• Fix radius conflicting name with IntervalArithmetic.jl (#2762)
• Add check_boundedness constructor flag in SymmetricIntervalHull to elide boundedness check (#2758)

---

Closed issues: - Allow creating unbounded SymmetricIntervalHull (#2757) - Fix radius conflicting name with IA (#2761) - One-dimensional flat sets are invisible in plot (#2763)

Merged pull requests: - Add SIH constructor flag (#2758) (@mforets) - Do not use isbounded in project (#2760) (@schillic) - #2761 - Fix radius conflicting name with IA (#2762) (@mforets) - #2763 - Fix plotting of flat 1D sets (#2764) (@schillic) - Update Project.toml (#2765) (@mforets)

- Julia
Published by github-actions[bot] over 4 years ago

lazysets.jl - v1.47.0

LazySets v1.47.0

Diff since v1.46.0

Here we collect the new features, bug fixes, etc. for the next release.

Announcements

Contributors for this release:

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

Breaking changes

• Compatibility with Makie v0.13 (this change breaks compatibility with older Makie versions) (#2749)

Features

• Add iscomplement function to compare two HalfSpaces (#2747)
• Add is_hyperplanar function to check whether an HPolyhedron is hyperplanar (#2747)
• Add conversion from HPolyhedron to Hyperplane (#2747)

---

Closed issues: - Conversion from polyhedron to hyperplane (#2745) - Fix docs deployment with via Github (#2746) - Warning shown when Makie is installed (#2748)

Merged pull requests: - update deps (#2742) (@mforets) - Update .travis.yml (#2743) (@mforets) - Use Github for CI (#2744) (@schillic) - #2745 - Conversion from polyhedron to hyperplane (#2747) (@schillic) - #2748 - Remove Makie.AbstractPlotting (#2749) (@schillic) - Update Project.toml (#2750) (@schillic)

- Julia
Published by github-actions[bot] over 4 years ago

lazysets.jl - v1.46.0

LazySets v1.46.0

Diff since v1.45.1

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Sebastián Guadalupe (@SebastianGuadalupe)

Breaking changes

• Rework sampling (modify how RejectionSampler works, which allows to pass a custom distribution and sample from unbounded sets; rename other samplers: Sampler → AbstractSampler, PolytopeSampler → RandomWalkSampler) (#2731)

Features

• Add permute for VPolytope (#2738)

Enhancements

• Add fast checks in concrete intersection between zonotope and HalfSpace (#2733)

Bug fixes

• Fix cartesian_product with Universe (#2736)

---

Closed issues: - Generalize random sampling for other distributions (#2730) - Concrete Cartesian product with Universe does not increase the dimension (#2735)

Merged pull requests: - Refactor dispatch in sampling.jl (#2731) (@mforets) - Add quicker concrete intersection between zonotope and halfspace (#2733) (@SebastianGuadalupe) - #2735 - Fix concrete Cartesian product with Universe (#2736) (@schillic) - permute for VPolytope (#2738) (@schillic) - Update Project.toml (#2740) (@mforets)

- Julia
Published by github-actions[bot] over 4 years ago

lazysets.jl - v1.45.1

LazySets v1.45.1

Diff since v1.45.0

Announcements

Contributors for this release:

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

Enhancements

• Add option to not remove zero generators in overapproximate of a Taylor model (#2727)
• Add option to not remove zero generators in project of AbstractZonotope (#2728)

---

Merged pull requests: - Add option to not remove zero generators in oa of a TM (#2727) (@schillic) - Add option to not remove zero generators in zonotope project (#2728) (@schillic) - Update Project.toml (#2729) (@schillic)

- Julia
Published by github-actions[bot] over 4 years ago

lazysets.jl - v1.45.0

LazySets v1.45.0

Diff since v1.44.5

Announcements

Contributors for this release:

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

Breaking changes

• Remove the check_full_rank option from constraints_list for AbstractZonotopes (#2642)

Features

• Add minkowski_sum with ZeroSet (#2712)

Enhancements

• Add remove_redundant_generators for AbstractZonotope (as a no-op) (#2642)
• Use more efficient implementation of constraints_list for 1D AbstractZonotopes in all cases (#2642)
• More efficient remove_redundant_generators if only zero columns have been removed (#2719)
• Generalize convert from Singleton to Zonotope (#2724)

Bug fixes

• Fix vertices/vertices_list for EmptySet (#2714)
• Fix remove_redundant_generators for Zonotopes (did not remove zero columns if this was the only change) (#2642)

Internal changes

• Rename _constraints_list_fallback (for AbstractZonotope) to _constraints_list_vrep (#2642)
• Update Documenter and BenchmarkTools versions (for building the docs) (#2722)

---

Closed issues: - Remove linear dependencies from zonotope's generators in constraints_list (#1453) - Wrong vertices list of an empty set (#2713) - Missing conversion from sparse singleton to Zonotope (#2723)

Merged pull requests: - #1453 - Remove redundant generators in constraintslist (#2642) (@schillic) - Add minkowskisum with ZeroSet (#2712) (@schillic) - #2713 - Fix vertices/verticeslist for EmptySet (#2714) (@schillic) - More efficient removeredundant_generators (#2719) (@schillic) - First version of the Tour (#2720) (@mforets) - Update packages when building the docs (#2722) (@schillic) - #2723 - Generalize convert from Singleton to Zonotope (#2724) (@schillic) - Update README.md (#2725) (@mforets) - Update Project.toml (#2726) (@mforets)

- Julia
Published by github-actions[bot] over 4 years ago

lazysets.jl - v1.44.5

LazySets v1.44.5

Diff since v1.44.4

Announcements

Contributors for this release:

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

Features

• Add permute for Singleton and Hyperrectangle (#2706) and Universe (#2711)
• Add volume for CartesianProduct and CartesianProductArray (#2710)

Enhancements

• Allow split for hyperrectangles with SVector (#2703)

---

Closed issues: - Splitting hyperrectangles with static vectors fails (#2651)

Merged pull requests: - #2651 - Fix hyperrectangle split with SVector (#2703) (@schillic) - #1186 - permute for Singleton and Hyperrectangle (#2706) (@schillic) - Rectify for VPolytope (#2709) (@schillic) - volume for CartesianProduct(Array) (#2710) (@schillic) - permute for Universe (#2711) (@schillic)

- Julia
Published by github-actions[bot] over 4 years ago

lazysets.jl - v1.44.4

LazySets v1.44.4

Diff since v1.44.3

Announcements

Contributors for this release:

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

Enhancements

• Allow for new versions of optional dependency packages (#2699)
• Improve InverseLinearMap's vertices_list (#2689)
• Remove convexity requirement in the docstrings of:
  • LinearMap (#2690)
  • UnionSetArray (#2691)
  • UnionSet (#2692)
  • Translation (#2693)
  • SymmetricIntervalHull (#2694)
  • ResetMap (#2695)
  • Rectification (#2696)
  • MinkowskiSum & MinkowskiSumArray (#2697)
  • add information about preserving convexity (#2698)
• Improvements for UnionSetArray (fix case in an_element and faster ρ) (#2691)

Bug fixes

• Respect xlims/ylims when plotting unbounded sets (#2701)

---

Closed issues: - Generalize convexity in docstrings of lazy operations (#1837) - Concrete cartesianproduct of hyperrectangular sets (#2227) - Plotting union with seriestype kwarg fails (#2678) - Adjusting DEFAULTPLOT_LIMITS? (#2700)

Merged pull requests: - Improve InverseLinearMap's vertices_list (#2689) (@schillic) - #1837 - Remove convexity requirement in LinearMap (#2690) (@schillic) - #1837 - Updates for UnionSetArray (#2691) (@schillic) - #1837 - Updates for UnionSet (#2692) (@schillic) - #1837 - Remove convexity requirement in Translation (#2693) (@schillic) - #1837 - Updates for SymmetricIntervalHull (#2694) (@schillic) - #1837 - Updates for ResetMap (#2695) (@schillic) - #1837 - Remove convexity requirement in Rectification (#2696) (@schillic) - #1837 - Updates for MinkowskiSum & MinkowskiSumArray (#2697) (@schillic) - #1837 - Add information about convexity preservation (#2698) (@schillic) - New versions of optional packages (#2699) (@schillic) - #2700 - Respect xlims/ylims when plotting unbounded sets (#2701) (@schillic) - Update Project.toml (#2704) (@mforets)

- Julia
Published by github-actions[bot] almost 5 years ago

lazysets.jl - v1.44.3

LazySets v1.44.3

Diff since v1.44.2

Announcements

Contributors for this release:

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

Enhancements

• Generalize symbolic constructors to AbstractVector (#2676)
• Updates for ConvexHullArray (generalize docstrings, generalize membership check, faster support function/vector) (#2677)
• More specific cartesian_product for zonotopes and hyperrectangles (#2680)
• Generalize convexity assumption in docstrings of ExponentialMap (#2681)
• Generalize convexity assumption in docstrings of Intersection and add checks in places where convexity is required (#2683)
• Generalize convexity assumption in docstrings of IntersectionArray (#2685)

Bug fixes

• Fix new ambiguities in v1.6 (#2684)
• Fix _nonlinear_polynomial for order <= 1 (used in overapproximate of Taylor models) (#2687)

---

Closed issues: - concrete cartesian_product(::Zonotope, ::Zonotope) (#2679) - New ambiguities in v1.6 (#2682)

Merged pull requests: - Generalize symbolic constructors to AbstractVector (#2676) (@schillic) - Updates for ConvexHullArray (#2677) (@schillic) - cartesian_product for zonotopes and hyperrectangles (#2680) (@schillic) - #1837 - Updates for ExponentialMap (#2681) (@schillic) - #1837 - Updates for Intersection (#2683) (@schillic) - #2682 Fix ambiguities (#2684) (@schillic) - #1837 - Updates for IntersectionArray (#2685) (@schillic) - Fix pol order (#2687) (@mforets) - Update Project.toml (#2688) (@schillic)

- Julia
Published by github-actions[bot] almost 5 years ago

lazysets.jl - v1.44.2

LazySets v1.44.2

Diff since v1.44.1

Announcements

Contributors for this release:

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

Features

• Add rationalize function (#2672)

Enhancements

• Add empty constructor for UnionSetArray (#2674)
• Update symbolic constructors signatures (supports new Symbolics version) (#2673)

---

Closed issues: - Add rationalize for HPoly (#2671)

Merged pull requests: - #2671 - Add rationalize for LazySets (#2672) (@mforets) - Update symbolic constructors signatures (#2673) (@mforets) - Add empty constructor for UnionSetArray (#2674) (@schillic) - Update Project.toml (#2675) (@mforets)

- Julia
Published by github-actions[bot] almost 5 years ago

lazysets.jl - v1.44.1

LazySets v1.44.1

Diff since v1.44.0

Announcements

Contributors for this release:

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

Features

• Add low / high vectors for arbitrary sets (#2670)

---

Closed issues: - Plotting 1D HyperRectangles (#2656) - How to Get high/low or max/min of a LazySet (#2667)

Merged pull requests: - #2667 - Add low / high vectors for a LazySet (#2670) (@mforets)

- Julia
Published by github-actions[bot] almost 5 years ago

lazysets.jl - v1.44.0

LazySets v1.44.0

Diff since v1.43.2

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Sebastián Guadalupe (@SebastianGuadalupe)

Breaking changes

• Changed argument when plotting a list of sets: the positional argument fast became the keyword argument same_recipe (#2653)

Features

• Add remove_redundant_generators function (#2637)
• Add rectify method for general LazySets (#2649)
• Add low and high with dimension argument for arbitrary sets (#2663)

Enhancements

• Generalize convexity assumption in docstrings of some lazy operations (#2629, #2630, #2631, #2636, #2638, #2639, #2640)
• Better plot recipe for UnionSet/UnionSetArray (#2653)
• constraints_list of Bloating now uses the implementation of the lazy MinkowskiSum (which is currently the same as before) (#2664)
• Remove redundant Requires block for concretize(::CartesianProductArray) (#2664)

Bug fixes

• Fix _update_plot_limits! for empty or flat sets (#2650)

Internal changes

• Minor enhancement by using faster sum(abs, ...) in some places (#2658)

---

Closed issues: - Add star set representation (#1357) - Function to remove linear dependencies in zonotope generators (#2434) - Equivalence check between star set and lazy set (#2559) - Add concrete rectification method (#2643) - MethodError in concrete rectification plot (#2644) - Conversion of polyhedral set to star set (#2645) - Concrete intersection of star set with half-space (#2646) - Revise plot recipe for UnionSet (#2647) - Add low and high with dimension argument for arbitrary sets (#2660) - Let linear map and affine map of a Star return a lazy struct again (#2661)

Merged pull requests: - Update AffineMap docstring (#2629) (@mforets) - update Bloating docstring (#2630) (@mforets) - update cached MSA docstrings (#2631) (@mforets) - update CartesianProduct docstrings (#2636) (@mforets) - #2434 - Function to remove linear dependencies in zonotope generators (#2637) (@schillic) - Update CPA docstrings (#2638) (@mforets) - Add docs for Complement (#2639) (@mforets) - Update ConvexHull docstring (#2640) (@mforets) - fix docs escape sequence (#2641) (@mforets) - #2643 - Add concrete rectification method (#2649) (@schillic) - #2644 - Fix updateplotlimits! for empty inputs (#2650) (@schillic) - #2645 - Add conversion from polyhedral set to star set (#2652) (@SebastianGuadalupe) - #2647 - Revise plot recipe for UnionSet (#2653) (@schillic) - #2646 - Add intersection between star set and halfspace (#2654) (@SebastianGuadalupe) - Simplify test (#2655) (@schillic) - Use faster sum(abs, ...) (#2658) (@schillic) - CompatHelper: bump compat for "IntervalArithmetic" to "0.18" (#2662) (@github-actions[bot]) - #2660 - Add low and high with dimension argument for arbitrary sets (#2663) (@schillic) - Change constraintslist of Bloating and remove redundant Requires block (#2664) (@schillic) - Add Star type and common methods (#2665) (@mforets) - Update Project.toml (#2666) (@mforets)

- Julia
Published by github-actions[bot] almost 5 years ago

lazysets.jl - v1.43.2

LazySets v1.43.2

Diff since v1.43.1

Contributors for this release:

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

Features

• Added RotatedHyperrectangle set type (#2605)

Bug fixes

• Fix column generation in TM -> Zonotope conversion (#2627)

---

Closed issues: - Rotated hyperrectangle / orthogonal polytope (#1280)

Merged pull requests: - #1280 - Rotated hyperrectangle (#2605) (@schillic) - fix generator columns for the nonlinear terms in TM -> Zono conversion (#2627) (@mforets) - Update Project.toml (#2628) (@mforets)

- Julia
Published by github-actions[bot] almost 5 years ago

lazysets.jl - v1.43.1

LazySets v1.43.1

Diff since v1.43.0

Contributors for this release:

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

Enhancements

• Conversion and concretization of cartesian product of singleton (#2622)

Bug fixes

• Fix ArgumentError message (#2624)

---

Closed issues: - Convert CP of singletons to singleton (#2621) - Error message broken in membership test (#2623)

Merged pull requests: - #2621 - Convert CP of singletons to singleton (#2622) (@mforets) - #2623 MethodError -> ArgumentError (#2624) (@schillic) - Update Project.toml (#2625) (@mforets)

- Julia
Published by github-actions[bot] almost 5 years ago

lazysets.jl - v1.43.0

LazySets v1.43.0

Diff since v1.42.0

Contributors for this release:

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

Breaking changes

• Drop support for Julia v1.0 and v1.1 (#2533)
• Use Symbolics.jl instead of ModelingToolkit.jl (#2615)

---

Closed issues: - ModelingToolkit incompatible with test since v5.2 (#2568)

Merged pull requests: - remove julia v1.0 from travis build (#2533) (@mforets) - Update ModelingToolkit -> Symbolics (optional) dependency (#2615) (@mforets) - Update Project.toml (#2619) (@mforets)

- Julia
Published by github-actions[bot] almost 5 years ago

lazysets.jl - v1.42.0

LazySets v1.42.0

Diff since v1.41.3

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Daniel Freire Caporale (@schillic)
• Christian Schilling (@schillic)

Features

• Generation of random HParallelotopes (#2603)
• Added isboundedtype function that determines boundedness from type information only (#2608)
• New InverseLinearMap type to represent M^{-1}X without actually computing the inverse of M (#2357)

Enhancements

• Faster membership test in ZeroSet and normalization check in decompose (#2601)
• Add backend argument to LinearMapVRep solver (#2606)
• Accept kwargs in project and pass them to linear_map (#2607)
• Improve coverage for operations with different numeric types (#2616)

Internal changes

• Add to_matrix helper function (#2602)
• Generalize same_sign helper function (#2604)
• Refactor the tests folder to have the same structure as the source code (#2617)

---

Closed issues: - More readable string output (#127) - Use promotion for lazy operations on sets (#1182) - issubset and in on point/Singleton for different numeric types (#1190) - Add isboundedtype (#1926) - Refactor tests folder (#1958) - Backend not passed to concrete linear map methods (#2297) - Inverse linear map set operation (#2356) - Generation of random HParallelotopes (#2391) - Implement and use tomatrix in Zonotope and Star constructor (#2558)

Merged pull requests: - #2356 - InverseLinearMap (#2357) (@dfcaporale) - Revise usage of 'all' (#2601) (@schillic) - #2558 - Add to_matrix (#2602) (@schillic) - #2391 - Generation of random HParallelotopes (#2603) (@schillic) - Generalize samesign (#2604) (@schillic) - #2297 - Add backend to LinearMapVRep solver (#2606) (@schillic) - Accept kwargs in 'project' and pass to 'linearmap' (#2607) (@schillic) - #1926 - Add isboundedtype function (#2608) (@schillic) - Update docs (#2611) (@mforets) - Update HPolyhedron.jl (#2613) (@mforets) - Update HPolytope.jl (#2614) (@mforets) - #1190 - issubset and in on point/Singleton for different numeric types #1190 (#2616) (@mforets) - #1958 - Refactor tests folder (#2617) (@mforets) - Update runtests.jl and bump version (#2618) (@mforets)

- Julia
Published by github-actions[bot] almost 5 years ago

lazysets.jl - v1.41.3

LazySets v1.41.3

Diff since v1.41.2

Contributors for this release:

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

Enhancements

• Concrete projection of Line & CartesianProductArray (and modification of CartesianProduct) (2598)

Internal changes

• Add helper function allequal (2599)

---

Closed issues: - Add concrete projection of Cartesian sets (#1209) - Refactor same_constraints (#2047)

Merged pull requests: - #1209 - Concrete projection of Line & CartesianProductArray (and modification of CartesianProduct) (#2598) (@schillic) - #2047 - Add helper function 'allequal' (#2599) (@schillic) - Update Project.toml (#2600) (@schillic)

- Julia
Published by github-actions[bot] almost 5 years ago

lazysets.jl - v1.41.2

LazySets v1.41.2

Diff since v1.41.1

Contributors for this release:

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

Enhancements

• Better project for Hyperplane & Line2D (#2596) and CartesianProduct (#2597)

Internal changes

• Replace test dependency Plots.jl by light-weight RecipesBase.jl (#2595)

---

Closed issues: - Do not depend on Plots.jl for testing (#2139)

Merged pull requests: - #2139 - Do not depend on Plots.jl for testing (#2595) (@schillic) - #1209 - Concrete projection of Hyperplane & Line2D (#2596) (@schillic) - #1209 - Concrete projection of CartesianProduct (#2597) (@schillic)

- Julia
Published by github-actions[bot] almost 5 years ago

lazysets.jl - v1.41.1

LazySets v1.41.1

Diff since v1.41.0

Contributors for this release:

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

Enhancements

• Add include_vertices option to sample (#2593)

---

Merged pull requests: - Add 'include_vertices' option to 'sample' (#2593) (@schillic) - Update Project.toml (#2594) (@mforets)

- Julia
Published by github-actions[bot] almost 5 years ago

lazysets.jl - v1.41.0

LazySets v1.41.0

Diff since v1.40.0

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Sebastian Guadalupe (@SebastianGuadalupe)

Features

• Make Star set with polyhedral predicate be an alias for a specific AffineMap (#2578)

Enhancements

• Add option (activated by default) to remove redundant constraints after iterative refinement (#2589)

Bug fixes

• Sort constraints in concrete intersection of HPolygons (#2577)
• Fix method ambiguities (#2587)
• Assert boundedness in plot3d (#2590)

Internal changes

• Fix invalid links in documentation (#2591)
• Use Julia's built-in ambiguity test (#2587)

---

Closed issues: - Iterative refinement contains redundant information (#369) - Revise convex_hull (#950) - Resolve ambiguities of overapproximate (#1353) - plot3d creates HPolytope without checking boundedness (#1807) - Elimination with mixed types (#1952) - Type instability in hyperrectangle split (#2082) - Error in concrete intersection of HPolygon (#2187) - Invalid local links in documentation (#2319) - Random failure in polygon test (#2505) - Support function and support vector of star (#2556) - Ambiguity tests (#2586)

Merged pull requests: - #2187 - Sort constraints in HPolygon intersection (#2577) (@schillic) - Change Star constructor to be an alias for a specific AffineMap (#2578) (@mforets) - Fix unit test (#2584) (@schillic) - #2082 - Type instability in hyperrectangle split (#2585) (@SebastianGuadalupe) - #2586 - Ambiguity tests (#2587) (@schillic) - #369 - Remove redundant constraints after iterative refinement (#2589) (@schillic) - #1807 - Assert boundedness in plot3d (#2590) (@schillic) - #2319 - Invalid local links in documentation (#2591) (@schillic) - Update Project.toml (#2592) (@mforets)

- Julia
Published by github-actions[bot] almost 5 years ago

lazysets.jl - v1.40.0

LazySets v1.40.0

Diff since v1.39.0

Here we collect the new features, bug fixes, etc. for the next release.

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Sebastian Guadalupe (@SebastianGuadalupe)

Breaking changes

• Downgrade ModelingToolkit for compatibility (#2572)
• Unbounded Intervals can no longer be created (#2576)

Enhancements

• Singleton inclusion now correctly falls back to a membership check (#2565)
• Option to remove redundant vertices in linear_map via the new vrep_chull algorithm (#2564)
• Faster intersection of an axis-aligned Halfspace and a hyperrectangular set (#2580)

Bug fixes

• Fix ispermutation for approximate duplicates (#2570)
• Fix crash in isequivalent for same set types (#2569)
• Fix linear_map applied to VPolygon with non-square matrix (#2573)
• Fix iterative refinement (overapproximate) for static vectors (#2575)
• Check boundedness in Interval constructor (#2576)

Internal changes

• Generalize numeric type in concrete intersection (#2574)

---

Closed issues: - Remove duplicate vertices from linearmap of V-reps (#674) - Singleton containment invokes the wrong method (#1298) - Handle inexact vectors in ispermutation (#1337) - ispermutation works with different numeric types (#1593) - Use require function in ExponentialMap (#1634) - Faster intersection between a hyperrectangular set and an axis-aligned halfspace (#1800) - Iterative refinement fails for affine map with static vector (#1874) - _isapprox method for Array{<:LazySet} (#1916) - Treatment of unbounded intervals (#2349) - Fix equivalence of sets (#2370) - linearmap applied to VPolygon returns a VPolygon even for non-square matrix (#2567)

Merged pull requests: - #674 - Remove redundant vertices from linearmap of V-reps (#2564) (@schillic) - #1298 - Singleton containment invokes the wrong method (#2565) (@schillic) - #1916 - Fix crash in isequivalent for same set types (#2569) (@schillic) - #1337 - Fix ispermutation for approximate duplicates (#2570) (@schillic) - Downgrade ModelingToolkit (#2572) (@schillic) - Use fallback _linearmap_vrep for VPolygon (#2573) (@schillic) - #2219 - Review dispatch on numeric type in concrete intersection (#2574) (@mforets) - #1874 - Iterative refinement fails for static vectors (#2575) (@schillic) - #2349 - Check boundedness in Interval constructor (#2576) (@schillic) - #1800 - Faster intersection of an axis-aligned halfspace and a hyperrectangular set (#2580) (@SebastianGuadalupe) - Update Project.toml (#2581) (@mforets)

- Julia
Published by github-actions[bot] about 5 years ago

lazysets.jl - v1.39.0

LazySets v1.39.0

Diff since v1.38.4

Here we collect the new features, bug fixes, etc. for the next release.

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Sebastian Guadalupe (@SebastianGuadalupe)

Features

• Sampling from a convex polytope (PolytopeSampler) (#2547)
• Add new star set representation (#2554)

Bug fixes

• Fix special case of minkowski_sum of VPolygons (#2551)

---

Closed issues: - Error using LazySets.plot3d (#2496) - Bug in VPolygon concrete minkowski sum with singletons (#2550)

Merged pull requests: - Sampling from a convex polytope (#2547) (@schillic) - Update Project.toml (#2549) (@mforets) - #2550 - Fix special case for VPolygon msum (#2551) (@mforets) - Better error message in minkowski_sum of V-reps (#2552) (@schillic) - Implement Star set (#2554) (@mforets) - Fix docs (#2560) (@schillic) - Update docs (#2561) (@schillic) - Update Project.toml (#2562) (@mforets)

- Julia
Published by github-actions[bot] about 5 years ago

lazysets.jl - v1.38.4

LazySets v1.38.4

Diff since v1.38.3

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Sebastian Guadalupe (@SebastianGuadalupe)

Features

• Generalize the concrete Cartesian product (#2530)
• Uniform sampling method for line segments (#2538)

Enhancements

• Robust comparison in overapproximation with a ball in the infinity norm (#2534)
• More efficient concrete projection of the cartesian product of an interval and a set in vrep (#2531)

Bug fixes

• Fix concrete projection of HPolytope (#2540)
• Fix isempty with Polyhedra backend (#2535)

---

Closed issues: - Concrete projection of the cartesian product of an interval and a polygon (or polytope) (#2527) - Concrete cartesian product of an interval and a VPolytope (#2528) - Wrong dimension in concrete cartesian product of VPolytope (#2529) - isempty returns false for an empty set (precision error?) (#2532) - Add sampling from a line segment (#2537) - StackOverflowError when projecting HPolytope (#2539)

Merged pull requests: - Update concrete cartesian product (#2530) (@mforets) - #2527 - Concrete projection of the cartesian product of an interval and a set in vrep (#2531) (@mforets) - Fix robust comparison in ballinf overapproximation (#2534) (@mforets) - Fix isempty with Polyhedra backend (#2535) (@mforets) - #2537 -- Add uniform sampling + apply it to line segment (#2538) (@mforets) - #2539 - Update concrete projection of HPolytope (#2540) (@mforets) - Update Project.toml (#2545) (@mforets)

- Julia
Published by github-actions[bot] about 5 years ago

lazysets.jl - v1.38.3

LazySets v1.38.3

Diff since v1.38.2

Contributors for this release:

• Marcelo Forets (@mforets)
• Sebastian Guadalupe (@sebastianguadalupe)
• Christian Schilling (@schillic)

Enhancements

• Generic conversion of a 2D lazyset to a HPolygon (#2509)
• Improve certain concrete projections: Singleton (#2520), an interval and a hyperrectangular set (#2524), and an interval and a zonotopic set (#2525)

---

Closed issues: - Convert HPolyhedron to HPolygon (#2506) - Concrete projection of singleton (#2519) - Concrete projection a hyperrectangular cartesian product (#2521) - Concrete projection of interval x zonotope (#2522)

Merged pull requests: - #2506 - Generic conversion to HPolygon (#2509) (@mforets) - cleanup issubset (#2517) (@mforets) - #2519 - Concrete projection of singleton (#2520) (@SebastianGuadalupe) - #2521 - Concrete projection a hyperrectangular cartesian product (#2524) (@SebastianGuadalupe) - #2522 - Concrete projection of interval x zonotope (#2525) (@SebastianGuadalupe) - ci fixes + bump version (#2526) (@mforets)

- Julia
Published by github-actions[bot] about 5 years ago

lazysets.jl - v1.38.2

LazySets v1.38.2

Diff since v1.38.1

Contributors for this release:

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

Enhancements

• Projection of a VPolytope whose vertices are static arrays returns a set with static arrays (#2510)

Internal changes

• Fix the random seed in the unit tests (#2508)
• Improve docs for "Getting started" section by giving some details on the optional dependencies (#2511)
• Fix coverage integration (#2513)

---

Closed issues: - Make ready for Julia v1.5 (#2310) - Fix coverage integration (#2472) - Avoid deprecated field access in ModelingToolkit code (#2512)

Merged pull requests: - #2310 - Bump CI doctests for Julia version v1.5 (#2504) (@mforets) - Set random seed in unit tests (#2508) (@mforets) - Projection of VPolytope using static arrays (#2510) (@mforets) - Update gettingstarted.md (#2511) (@mforets) - #2472 - Fix coverage integration (#2513) (@schillic) - #2512 -- Deprecated field access in MT code (#2514) (@mforets) - cleanup macros.jl (#2515) (@mforets) - Update gettingstarted.md (#2516) (@mforets) - Update Project.toml (#2518) (@mforets)

- Julia
Published by github-actions[bot] about 5 years ago

lazysets.jl - v1.38.1

LazySets v1.38.1

Announcements

Contributors for this release:

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

Features

• vertices_list for Intersection (#2493)

Bug fixes

• Apply convex hull in vertices_list(::AbstractZonotope) (#2494)

Internal changes

• Remove redundant argument N from default_polyhedra_backend (#2495)
• Refactoring of concrete minkowski sum (#2488)
• Update to new ModelingToolkit major version (#2499)

---

Diff since v1.38.0

Closed issues: - Update to MT v4 (#2411) - defaultpolyhedrabackend should not take N as argument (#2436) - Default option not applied to flat 2D zonotope (#2450) - Overapproximating lazy intersection of zonotope with polygon (#2451)

Merged pull requests: - update concrete minkowski sum (#2488) (@mforets) - verticeslist for Intersection (#2493) (@schillic) - Apply convex hull in verticeslist(zonotope) (#2494) (@schillic) - #2436 - Remove argument from defaultpolyhedrabackend (#2495) (@schillic) - cleanup export (#2497) (@mforets) - Update to ModelingToolkit v4.5 (#2499) (@mforets) - Update Project.toml (#2501) (@mforets)

- Julia
Published by github-actions[bot] about 5 years ago

lazysets.jl - v1.38.0

LazySets v1.38.0

Diff since v1.37.17

Announcements

Contributors for this release:

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

Breaking changes

• Simplification of lazy intersection of halfspaces to polyhedron (#2482)

Features

• Conversion of lazy intersection to polyhedral types (#2481)

Enhancements

• Default random sampling (sample) uses Random from Julia Base instead of Distributions.jl (which can still be used, but it is optional) (#2480)
• Concrete projection of BallX, EmptySet, and Universe (#2476)
• Generalize special case for concrete projection of polyhedra (#2478)
• Use promotion in HPolyhedron's support function and support vector (#2484)
• Generalize overapproximate to unbounded sets (#2405)
• Rename helper method and reduce allocations in intersection of 2D VPolytopes (#2486)

Bug fixes

• Fix bug in isdisjoint of two zonotopic sets (#2479)

Internal changes

• Test that concrete projection of a zonotope is a zonotope (#2473)
• Outsource project from Approximations (#2475, #2485)
• Add keyword argument to range (#2477)
• Faster building of docs (#2489)

- Julia
Published by github-actions[bot] about 5 years ago

lazysets.jl - v1.37.17

LazySets v1.37.17

Announcements

Contributors for this release:

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

Features

• Fallback conversion to VPolytope (#2467)
• Concrete complement and constraints list of lazy complement (#2381)
• In-place concrete translation of AbstractZonoope (#2470)

Enhancements

• Faster plot recipe for list of singletons (#2465)
• Documentation for issubset (#2238)

Internal changes

• Add more tests for ResetMap (#2471)

---

Diff since v1.37.16

Closed issues: - Use issubset for function names (#700) - Missing function in AbstractHyperrectangle notes (#2093) - Concrete complement fallback (#2381) - Plotting large samples is slow (#2464) - Fallback conversion to VPolytope (#2466)

Merged pull requests: - #700 - Documentation for issubset (#2238) (@schillic) - CompatHelper: bump compat for "Reexport" to "1.0" (#2463) (@github-actions[bot]) - #2464 - Specific singleton list plot (#2465) (@mforets) - #2466 - Fallback conversion to VPolytope (#2467) (@mforets) - Add note in hyperrectangle interface (#2468) (@mforets) - #2381 -- Concrete complement and constraints list of lazy complement (#2469) (@mforets) - #1995 - In-place concrete translation for AbstractZonotope (#2470) (@mforets) - Add some tests for ResetMap (#2471) (@mforets) - Update Project.toml (#2474) (@mforets)

- Julia
Published by github-actions[bot] about 5 years ago

lazysets.jl - v1.37.16

LazySets v1.37.16

Here we collect the new features, bug fixes, etc. for the next release.

Announcements

Contributors for this release:

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

Features

• Vertices list of IntervalArithmetic types (#2457)

Enhancements

• Updated packages (#2452, #2463)
• Faster support function for Ball2 (#2455)
• Faster conversion from 1D hyperrectangle to Interval (#2456)
• Vertices list of degenerate Interval (#2459)
• Faster plot recipe for list of singletons (#2465)

---

Diff since v1.37.15

Closed issues: - Faster conversion from hyperrectangular set to interval (#1978) - Vertices list of IA types (#2453) - Explicit support function for Ball2 (#2454) - Vertices list of degenerate Interval should return one point (#2458)

Merged pull requests: - refactor abs sum (#2444) (@mforets) - Upgrade packages (#2452) (@schillic) - Faster support function for Ball2 (#2455) (@mforets) - #1978 - Faster conversion from 1D hyperrectangle to interval (#2456) (@mforets) - #2453 - Vertices list of IntervalArithmetic types (#2457) (@mforets) - Vertices list for degenerate interval (#2459) (@mforets) - Update Project.toml (#2461) (@mforets)

- Julia
Published by github-actions[bot] about 5 years ago

lazysets.jl - v1.37.15

LazySets v1.37.15

Diff since v1.37.14

Here we collect the new features, bug fixes, etc. for the next release.

Announcements

Contributors for this release:

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

Enhancements

• an_element for unbounded polyhedra returns only vectors with finite entries now (#2408)
• Interval constructor with type promotion (#2410)
• linear_map_inverse for Universe (#2413)
• Use tuple instead of vector in vertices_list for general Zonotopes (#2416)
• Specialize concrete minkowski sum for singleton sets (#2418)
• Add isoperationtype for HParallelotope (#2424)
• Fix MethodError for overapproximate(::EmptySet, ::Real) (#2423)
• Fix MethodError for overapproximate(::EmptySet, ::L) where L is a LazySet (#2422)
• Efficient p-norm for SingleEntryVector (#2433)
• Remove N<:Real restrictions (#2276, #2420, #2421, #2425, #2428, #2430, #2435, #2438, #2446)
• Generalize _isapprox to arrays (#2439)
• More efficient box_approximation for centrally symmetric set types (#2443)
• Generalize Zonotope to AbstractZonotope in isdisjoint (#2442)
• Add constraints_list for Bloating (#2446)

Bug fixes

• Fix HalfSpace constructor with ModelingToolkit in 1 variable (#2412)
• Fix plotting recipe for sets with static arrays fields (#2448)

Internal changes

• Swap aliases: box_approximation instead of overapproximate(X, Hyperrectangle) and ballinf_approximation instead of overapproximate(X, BallInf) (#2422)
• Outsource method to other file (#2437)

- Julia
Published by github-actions[bot] about 5 years ago

lazysets.jl - v1.37.14

LazySets v1.37.14

Diff since v1.37.13

Announcements

Contributors for this release:

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

Enhancements

• Review vertices list of a lazy linear map for the static arrays case (#2400)

- Julia
Published by github-actions[bot] over 5 years ago

lazysets.jl - v1.37.13

LazySets v1.37.13

Diff since v1.37.12

Here we collect the new features, bug fixes, etc. for the next release.

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Daniel Freire Caporale (@dfcaporale)
• Christian Schilling (@schillic)

Features

• Define intersection with EmptySet (#2362)
• Overapproximation of sets defined by (possibly nonlinear) inequalities through interval constraint programming (#2379)

Enhancements

• Faster box approximation of VPolytope/VPolygon (#2252)
• Generalize hyperrectangle to zonotope conversion and improve efficiency for static arrays (#2383)
• Specialized support function for zonotopes (#2359)

Bug-fixes

• Rename build script to make it private and prevent a trigger during external build processes (#2394)

- Julia
Published by github-actions[bot] over 5 years ago

lazysets.jl - v1.37.12

LazySets v1.37.12

Diff since v1.37.11

Announcements

Contributors for this release:

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

Bug-fixes

• Use approximate equality check in samedir (#2387)

- Julia
Published by github-actions[bot] over 5 years ago

lazysets.jl - v1.37.11

LazySets v1.37.11

Diff since v1.37.10

Announcements

Contributors for this release:

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

Features

• Extend HPolyhedron constructor for symbolic variables, which now accepts equality constraints, e.g. HPolyhedron([x == 0, v <= 1], vars) (#2371)
• In-place scale for zonotopes (#2275)
• New function, read_gen, that reads polygon files in generic (GEN) file format from other tools (#2377)

Enhancements

• Fix type of hyperrectangle vertices (#2376)
• Faster vertices list of low order zonotopes (#2375)
• Improve hyperrectangular set -> zonotope conversion for static arrays

Internal changes

• Refactoring work (#2372)

- Julia
Published by github-actions[bot] over 5 years ago

lazysets.jl - v1.37.10

LazySets v1.37.10

Diff since v1.37.9

Announcements

Contributors for this release:

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

Features

• Add new line constructor in 2D (#2361)

- Julia
Published by github-actions[bot] over 5 years ago

lazysets.jl - v1.37.9

LazySets v1.37.9

Announcements

Contributors for this release:

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

Features

• Add Sutherland–Hodgman VPolygon intersection algorithm (#2345)

Enhancements

• Faster support function for zonotopic sets (#2343)
• constraints and vertices methods for Universe, EmptySet, AbstractSingleton (#2320)

Internal changes

• Robust membership test for line segment intersection (#2344)

---

Diff since v1.37.8

Closed issues: - Add test for changing rtol (#1485)

Merged pull requests: - #2264 - Specialized iterator methods constraints and vertices (#2320) (@schillic) - Faster support function for zonotopic sets (#2343) (@mforets) - Fix membership test for line segments (#2344) (@mforets) - Add Sutherland–Hodgman VPolygon intersection algorithm (#2345) (@mforets) - Update Project.toml (#2347) (@mforets)

- Julia
Published by github-actions[bot] over 5 years ago

lazysets.jl - v1.37.8

LazySets v1.37.8

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Sebastián Guadalupe (@SebastianGuadalupe)
• Christian Schilling (@schillic)

Features

• Overapproximate the intersection of a zontope and a hyperplane using the projection method (#2338)

Enhancements

• Better diameter method for Interval (#2335)
• Better split method for Interval (#2335)

Bug-fixes

• Fix Hyperplane-Hyperplane disjointness check (#2328)
• Fix area for non-polygons (#2336)

Internal changes

• Fix problems with Cartesian Product Array algorithm for overapproximating with Zonotope (#2333)

---

Diff since v1.37.7

Closed issues: - Area gives wrong result for non-polygons (#2305) - Overapproximate zonotope-hyperplane intersection using the projection method (#2326) - Hyperplane-Hyperplane intersection emptiness (#2327)

Merged pull requests: - #2327 - Hyperplane-Hyperplane intersection emptiness (#2328) (@schillic) - #2326 - Overapproximate zonotope-hyperplane intersection using the projection method (#2330) (@SebastianGuadalupe) - Fix problems with Cartesian Product Array algorithm for overapproximating with Zonotope (#2333) (@SebastianGuadalupe) - Better diameter and split methods for Interval (#2335) (@schillic) - Fix area for non-polygons (#2336) (@mforets) - Update Project.toml (#2339) (@mforets)

- Julia
Published by github-actions[bot] over 5 years ago

lazysets.jl - v1.37.7

LazySets v1.37.7

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Sebastián Guadalupe (@SebastianGuadalupe)
• Christian Schilling (@schillic)

Features

• Overapproximate a polytope with a zonotope using Cartesian decomposition (#2298)

Enhancements

• Add HPolytope constructor for use with ModelingToolkit, and improvement of the vars argument handling (#2315)
• Improved zonotope-hyperplane disjointness check (#2317)

Internal changes

• Refactor zonotope vertex enumeration methods (#2303)

---

Diff since v1.37.6

Closed issues: - Follow up of 2d zonotope vertex enum (#2208) - Overapproximate a polytope with a zonotope using cartesian decomposition (#2277)

Merged pull requests: - #2277 - Overapproximate a polytope with a zonotope using cartesian decomposition (#2298) (@SebastianGuadalupe) - #2208 - Refactor zonotope vertex enumeration methods (#2303) (@mforets) - Add HPolytope with MT + let macro work on tuples (#2315) (@mforets) - Improve zonotope - hyperplane disjointness check (#2317) (@mforets) - Fix global-variable issues in tests (#2318) (@schillic) - Update Project.toml (#2323) (@mforets)

- Julia
Published by github-actions[bot] over 5 years ago