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

• Add ispolyhedraltype trait (#3877)
• Add ispolytopic function (#4008, #4034, #4035)
• Add getindex for caching template directions (#3876)
• Add convert from 2D Line to Hyperplane (#4038)
• Add area for 3D polytopes (which computes the surface area) (#4050)
• Add radius/diameter in 1D (#4052)
• Add circumsphere computation for a list of points (and thus overapproximate with Ball2 as well as radius and diameter in the Euclidean norm for polytopic sets) (#4053, #4054)

Enhancements

• Change default convert from AbstractZonotope to SparsePolynomialZonotope (#4017)
• Faster conversion from Rectification of Interval to Interval (#3869)
• Better isequivalent for EmptySet (#3895)
• Better difference for Interval (#3897)
• More robust isdisjoint witness for Interval (#3907)
• Better chebyshev_center_radius for AbstractHyperrectangle (#3930)
• Add better error message to chebyshev_center_radius for Universe (#4043)
• Add witness for isdisjoint of AbstractZonotopes (#4047)
• Add error message to assertions (#4055)
• Improve some error messages (#4057)

Bug fixes

• Fix numeric type of center and genmat for HParallelotope (#4020)
• Fix isuniversal for AbstractPolytope (#3875)
• Fix tohrep: may return HPolytope (#3879)
• Fix isapprox for HPoly* and Star (#3883)
• Fix linear_map_inverse/affine_map_inverse for EmptySet result (#3889)
• Let vertices_list of AbstractHPolygon with no constraints crash (#3961)
• Fix constraints_list of IntersectionArray (#3962)
• Fix remove_redundant_constraints for infeasible case (#3991)
• Revise assertion in reduce_order of SPZ (#3974)
• Fix and improve is_interior_point for AbstractHyperrectangle (#3906)
• Fix and improve linear_map for Universe with invertible map (#3896)
• Fix linear_map elimination algorithm with empty constraints (#3953)
• Fix 3D plotting (#4049)
• Fix vertices_list for AbstractZonotope (#4056)

Internal changes

• Allow SymEngine v0.13 in tests/docs (#4016)
• Polish bibliography (#4018)
• Use dynamic RNG seed in tests (#4013, #4022)
• Fix error message (#4021)
• Revise tests (#4032, #4033, #4037)
• Refactor reduce_order code (#4002)
• Remove redundant helper function (#4039)
• Remove redundant togrep method (#4040)
• Add issubset test for Universe (#4041)
• Remove redundant validation code (#4042)
• Rename variable in tests (#4044)
• Add tests for convert (#4045)
• Make tolerance tests consistent (#4048)