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)

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)

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])

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])

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)

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 is_intersection_empty (#2887) (@schillic)

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)

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)

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 _nonlinear_polynomial 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 box_approximation 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 convex_hull for EmptySet a no-op (#2861) (@schillic)
• Update Project.toml (#2862) (@schillic)

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 get_linear_coeffs (#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)