@hackage aern2-mp0.1.0.0

Multi-precision floats via MPFR

Installation
In your cabal file:
Tested Compilers
- 8.0.2
- 7.10.3
Dependencies (13)
- base >=4 && <5
- integer-gmp >=1.0 && <1.1
- template-haskell
- QuickCheck >=2.7 && <2.10
- convertible >=1.1.1.0 && <1.2
- haskell-mpfr >=0.1 && <0.2
Dependents (5)
@hackage/aern2-fun, @hackage/aern2-real, @hackage/LPPaver, @hackage/aern2-mfun, @hackage/PropaFP

mpfr

(on by default)

Use a MPFR backend (default); Integer backend is planned

mpfrrounded

(off by default)

Use rounded (Numeric.RoundedSimple) as MPFR backend (not default)

Arbitrary-precision dyadic numbers and interval arithmetic, via the types:

By default, using hmpfr when compiling with ghc >=7.10. Older versions of ghc are no longer tested.

Set flag MPFRRounded to bind MPFR not via hmpfr but via a tweaked version of package rounded:

This backend is considerably faster than hmpfr. It is likely to become the default in future.

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