aern2-mp-0.1.3.1: Multi-precision ball (interval) arithmetic

This package provides the following types:

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

The types have instances of both MixedTypeNumPrelude type classes as well as with traditional Prelude type classes.

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

Signatures

Modules

AERN2
Submodules
- AERN2.MP Multiple-precision ball arithmetic
  Submodules
  - AERN2.MP.Accuracy Rough accuracy of an enclosure
  - AERN2.MP.Ball Arbitrary precision ball arithmetic
    Submodules
    AERN2.MP.Ball.Comparisons Comparisons of arbitrary precision dyadic balls
    AERN2.MP.Ball.Conversions Conversions of arbitrary precision dyadic balls
    AERN2.MP.Ball.Elementary Elementary operations on arbitrary precision dyadic balls
    AERN2.MP.Ball.Field Field operations on arbitrary precision dyadic balls
    AERN2.MP.Ball.PreludeOps Instances of Prelude.Num etc
    AERN2.MP.Ball.Tests Tests for operations on arbitrary precision balls
    AERN2.MP.Ball.Type Arbitrary precision dyadic 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.Float Arbitrary precision floating point numbers
    Submodules
    AERN2.MP.Float.Constants Special constants NaN, infinity etc
    AERN2.MP.Float.Operators Infix operators for up/down-rounded floating-point numbers
    AERN2.MP.Float.Tests Tests for operations on arbitrary precision floats
    UseRounded
    Submodules
    AERN2.MP.Float.UseRounded.Arithmetic Arbitrary precision floating point numbers
    AERN2.MP.Float.UseRounded.Conversions Conversions and comparisons of arbitrary precision floats
    AERN2.MP.Float.UseRounded.RoundedAdaptor Numeric.Rounded + variable precision
    AERN2.MP.Float.UseRounded.Type Arbitrary precision floating point numbers (MPFR)
  - AERN2.MP.Precision Floating-point precision
- AERN2.Norm Rough logarithmic norm
- AERN2.Normalize Overloadable "normalize" function
- Utils
  Submodules
  - AERN2.Utils.Bench utilities for benchmarks