AERN2.MP.Float

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

Precision operations

module AERN2.MP.Precision

Helper structure

module AERN2.MP.Float.Auxi

The type definition and basic operations

module AERN2.MP.Float.Type

Arithmetic operations

module AERN2.MP.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, constants such as NaN, infinity

module AERN2.MP.Float.Conversions

Infix operators for up/down-rounded operations

module AERN2.MP.Float.Operators

Tests

module AERN2.MP.Float.Tests