AERN2.MP.UseMPFR.Float

Arbitrary precision floating-point numbers with up/down-rounded operations.

Currently, we use hmpfr when compiling with ghc 7.10 and higher and haskell-mpfr when compiling with ghc 7.8.

Precision operations

module AERN2.MP.Precision

The type definition and basic operations

module AERN2.MP.UseMPFR.Float.Type

Arithmetic operations

module AERN2.MP.UseMPFR.Float.Arithmetic

distUp :: MPFloat -> MPFloat -> MPFloat

Computes an upper bound to the distance |x - y| of x and y.

distDown :: MPFloat -> MPFloat -> MPFloat

Computes a lower bound to the distance |x - y| of x and y.

avgUp :: MPFloat -> MPFloat -> MPFloat

avgDown :: MPFloat -> MPFloat -> MPFloat

Conversions, comparisons and norm

module AERN2.MP.UseMPFR.Float.Conversions

Infix operators for up/down-rounded operations

module AERN2.MP.UseMPFR.Float.Operators

Constants such as NaN, infinity

module AERN2.MP.UseMPFR.Float.Constants

Tests

module AERN2.MP.UseMPFR.Float.Tests