v2.14.1

LazySets v2.14.1

Diff since v2.14.0

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Features

• Add more and better operations for Interval (#3533)

Enhancements

• Allow SymEngine v0.12 (#3541)
• Make all API functions available in IntervalModule & EmptySetModule (#3545)
• Outsource Ball1 to its own module (#3547)
• Outsource Ball2 to its own module (#3549)
• Outsource BallInf to its own module (#3550)
• Outsource Ballp to its own module (#3548)
• Outsource Ellipsoid to its own module (#3555)
• Outsource LineSegment to its own module (#3556)
• Outsource ZeroSet to its own module (#3557)
• Outsource Singleton to its own module (#3558)
• Outsource Universe to its own module (#3564)

Internal changes

• Temporary fix for Symbolics doctest (#3542)
• Add space in error message (#3544)
• Define AbstractBallp interface functions (#3546)
• Define AbstractSingleton interface function (#3560)
• Update docs (#3559)
• Add option for shorter tests, used in PkgEval (#3563)
• Revise documentation of interface requirements (#3565)

---

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)