Multi-precision floats via rounded (MPFR)

Version on this page:
LTS Haskell 18.22:
Stackage Nightly 2022-01-23:
Latest on Hackage:

See all snapshots aern2-mp appears in

BSD-3-Clause licensed by Michal Konecny
Maintained by Michal Konecny
This version can be pinned in stack with:aern2-mp-,3050

Arbitrary-precision dyadic numbers and safely-rounded interval arithmetic:

  • Dyadic: variable-precision floats with exact ring operations

  • MPBall: float ± error bound with field & elementary (interval-like) operations

There is a plan to add an Integer-only backend so that aern2-mp can be used without MPFR.


Change log for aern2-mp

  • v 2018-11-20
    • only one MPFR backend - rounded
    • reduce backend-specific code
  • v 2017-11-14
    • fix compilation with haskell-mpfr
  • v 2017-11-14
    • using Claude Heiland-Allen’s Numeric.Rounded.Simple
  • v 2017-09-12
    • first release on Hackage
    • backends: hmpfr and (tweaked) rounded