aern2-mp-0.1.2.0: Multi-precision floats via MPFR

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

Dyadic: variable-precision floats with exact ring operations
MPBall: float ± error bound with field & elementary (interval-like) operations

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:

https://github.com/claudeha/rounded/tree/claude

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.

Signatures

Modules

AERN2
- AERN2.MP Multiple-precision ball arithmetic
  - AERN2.MP.Accuracy Rough accuracy of an enclosure
  - AERN2.MP.Ball Arbitrary precision ball arithmetic
    - AERN2.MP.Ball.Tests Tests for operations on arbitrary precision balls
  - AERN2.MP.Dyadic Dyadics with exact ring operations
  - AERN2.MP.Enclosure Enclosure operations
  - AERN2.MP.ErrorBound Fixed precision non-negative up-rounded floating-point numbers
  - AERN2.MP.Precision Floating-point precision
  - UseMPFR
    - AERN2.MP.UseMPFR.Ball Arbitrary precision ball arithmetic
      - AERN2.MP.UseMPFR.Ball.Comparisons Comparisons of arbitrary precision dyadic balls
      - AERN2.MP.UseMPFR.Ball.Conversions Conversions of arbitrary precision dyadic balls
      - AERN2.MP.UseMPFR.Ball.Elementary Elementary operations on arbitrary precision dyadic balls
      - AERN2.MP.UseMPFR.Ball.Field Field operations on arbitrary precision dyadic balls
      - AERN2.MP.UseMPFR.Ball.PreludeOps Instances of Prelude.Num etc
      - AERN2.MP.UseMPFR.Ball.Type Arbitrary precision dyadic balls
    - AERN2.MP.UseMPFR.Dyadic Dyadics with exact ring operations
    - AERN2.MP.UseMPFR.ErrorBound Fixed precision non-negative up-rounded floating-point numbers
    - AERN2.MP.UseMPFR.Float Arbitrary precision floating point numbers
      - AERN2.MP.UseMPFR.Float.Arithmetic Arbitrary precision floating point numbers
      - AERN2.MP.UseMPFR.Float.Constants Special constants NaN, infinity etc
      - AERN2.MP.UseMPFR.Float.Conversions Conversions and comparisons of arbitrary precision floats
      - AERN2.MP.UseMPFR.Float.Operators Infix operators for up/down-rounded floating-point numbers
      - AERN2.MP.UseMPFR.Float.RoundedAdaptor Numeric.Rounded + variable precision
      - AERN2.MP.UseMPFR.Float.Tests Tests for operations on arbitrary precision floats
      - AERN2.MP.UseMPFR.Float.Type Arbitrary precision floating point numbers
- AERN2.Norm Rough logarithmic norm
- AERN2.Normalize Overloadable "normalize" function
- Utils
  - AERN2.Utils.Bench utilities for benchmarks