[Diff since v3.0.0](v3.0.0...v3.1.0)

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

**Closed issues:**
- Add halfspace_left and halfspace_right for Line (#409)
- Shortest distance to a point (#1757)

[Diff since v2.14.2](v2.14.2...v3.0.0)

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

## LazySets v2.14.2

[Diff since v2.14.1](v2.14.1...v2.14.2)


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

## LazySets v2.14.1

[Diff since v2.14.0](v2.14.0...v2.14.1)


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

## LazySets v2.14.0

[Diff since v2.13.0](v2.13.0...v2.14.0)


**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 `Interval`s (#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)

## LazySets v2.13.0

[Diff since v2.12.1](v2.12.1...v2.13.0)


**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 convex_hull for Polygon (#3499) (@schillic)
- Let binary `convex_hull` with `EmptySet` fall back to the unary method (#3500) (@schillic)
- Fix projection of polyhedron in unconstrained dimensions (#3501) (@schillic)
- Automatic JuliaFormatter.jl run (#3502) (@github-actions[bot])
- Outsource `basetype` to ReachabilityBase (#3503) (@schillic)
- Let `remove_redundant_generators` 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)

## LazySets v2.12.1

[Diff since v2.12.0](v2.12.0...v2.12.1)


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

## LazySets v2.12.0

[Diff since v2.11.4](v2.11.4...v2.12.0)


**Merged pull requests:**
- Split and revise documentation (#3436) (@schillic)
- Revise CI scripts (#3437) (@schillic)
- cartesian_product 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 `activate_assertions` & `deactivate_assertions` (#3463) (@schillic)
- Use `eachindex`/`axes` instead of `1:length`/`1:size` (#3464) (@schillic)
- Remove Javis from test dependencies (#3465) (@schillic)
- More convert methods for HPolytope/HPolyhedron (#3466) (@schillic)
- reduce_order 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)

## LazySets v2.11.4

[Diff since v2.11.3](v2.11.3...v2.11.4)


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

## LazySets v2.11.3

[Diff since v2.11.2](v2.11.2...v2.11.3)


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