Copyright | (c) Michal Konecny |
---|---|
License | BSD3 |
Maintainer | mikkonecny@gmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Arbitrary precision floating-point numbers with up/down-rounded operations.
Synopsis
- module AERN2.MP.Precision
- module AERN2.MP.Float.Auxi
- module AERN2.MP.Float.Type
- module AERN2.MP.Float.Arithmetic
- distUp :: MPFloat -> MPFloat -> MPFloat
- distDown :: MPFloat -> MPFloat -> MPFloat
- avgUp :: MPFloat -> MPFloat -> MPFloat
- avgDown :: MPFloat -> MPFloat -> MPFloat
- module AERN2.MP.Float.Conversions
- module AERN2.MP.Float.Operators
- module AERN2.MP.Float.Tests
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 Source #
Computes an upper bound to the distance |x - y|
of x
and y
.
distDown :: MPFloat -> MPFloat -> MPFloat Source #
Computes a lower bound to the distance |x - y|
of x
and y
.
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