Release Notes

The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.

[v0.2.0]

Breaking

• Disallow DyadicInterval method on other exact reals (#6)
  • To upgrade: replace DyadicInterval(x) with refine!(x)
• exact macro now returns RationalCaucyCut instead of Rational (#6)
  • To upgrade: No change should be needed, all operations should work with the new behavior too. The rational can be obtained using the internal function parse_decimal.

Fixed

• Fixed bug in exact string macro to prevent denominator from overflowing (#6)

Added

• Division between cuts and composite exact reals (#6)

v0.1.1 – 2025-04-13

Added

• Support Base.one and Base.zero for cuts (#5)
• Support ^ operation with non-negative integer exponent (#4)
• Support inv and division (#9)
• Add @exact_str string macro to correctly parse float literals (#12)
• Add non-unicode @forall and @exists aliases (#12)

v0.1.0 – 2024-10-25

Initial release

Added

• Define basic data structures (DyadicReal, DyadicInterval, RationalCauchyCut, DedekindCut, UnaryCompositeCut, BinaryCompositeCut)
• defined addition, subraction and multiplication
• support quantifiers over simple inequality statements