Copyright | (c) Michal Konecny |
---|---|
License | BSD3 |
Maintainer | mikkonecny@gmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell98 |
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.
- module AERN2.MP.Precision
- module AERN2.MP.UseMPFR.Float.Type
- module AERN2.MP.UseMPFR.Float.Arithmetic
- distUp :: MPFloat -> MPFloat -> MPFloat
- distDown :: MPFloat -> MPFloat -> MPFloat
- avgUp :: MPFloat -> MPFloat -> MPFloat
- avgDown :: MPFloat -> MPFloat -> MPFloat
- module AERN2.MP.UseMPFR.Float.Conversions
- module AERN2.MP.UseMPFR.Float.Operators
- module AERN2.MP.UseMPFR.Float.Constants
- module AERN2.MP.UseMPFR.Float.Tests
Precision operations
module AERN2.MP.Precision
The type definition and basic operations
module AERN2.MP.UseMPFR.Float.Type
Arithmetic operations
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
Infix operators for up/down-rounded operations
Constants such as NaN, infinity
Tests
module AERN2.MP.UseMPFR.Float.Tests