Release log tracker

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

Features

• convert from AbstractZonotope to DensePolynomialZonotope (#3660)

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)

Bug fixes

• Fixes in plotting (#3657)
• Fix isdisjoint for two HalfSpaces (#3696)
• Fix linear_combination (#3716)

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) and some set interfaces (#3711, #3732, [#3733](https://github.com/JuliaReach/LazySets.jl/pull/3733, [#3736](https://github.com/JuliaReach/LazySets.jl/pull/3736, #3737, #3738, #3739)
• 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)