| Copyright | (c) Michal Konecny |
|---|---|
| License | BSD3 |
| Maintainer | mikkonecny@gmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
AERN2.MP.Float.Type
Description
Arbitrary precision floating-point numbers, re-using CDAR Approx type.
Synopsis
- type MPFloat = Approx
- showMPFloat :: MPFloat -> String
- getErrorStepSizeLog :: Approx -> Maybe Int
- setPrecisionCEDU :: Precision -> MPFloat -> BoundsCEDU MPFloat
- p2cdarPrec :: Precision -> Precision
- getBoundsCEDU :: MPFloat -> BoundsCEDU MPFloat
MPFloat numbers and their basic operations
type MPFloat = Approx Source #
Multiple-precision floating-point type based on CDAR.Approx with 0 radius.
showMPFloat :: MPFloat -> String Source #
getErrorStepSizeLog :: Approx -> Maybe Int Source #
Returns s such that 2^s is the distance to the nearest other number with the same precision.
Returns Nothing for Bottom.
setPrecisionCEDU :: Precision -> MPFloat -> BoundsCEDU MPFloat Source #
p2cdarPrec :: Precision -> Precision Source #
getBoundsCEDU :: MPFloat -> BoundsCEDU MPFloat Source #