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

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

Bug fixes

• Fix intersection of LineSegments (#3630)

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)