| Copyright | (c) Michal Konecny |
|---|---|
| License | BSD3 |
| Maintainer | mikkonecny@gmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
AERN2.MP.Float.Type
Description
Arbitrary precision floating-point numbers, re-using CDAR Approx type.
Synopsis
- newtype MPFloat = MPFloat {}
- lift1 :: (Approx -> Approx) -> MPFloat -> MPFloat
- lift2 :: (Approx -> Approx -> Approx) -> MPFloat -> MPFloat -> MPFloat
- lift2R :: (Approx -> Approx -> t) -> MPFloat -> MPFloat -> t
- getErrorStepSizeLog :: Approx -> Maybe Int
- setPrecisionCEDU :: Precision -> MPFloat -> BoundsCEDU MPFloat
- p2cdarPrec :: Precision -> Precision
- getBoundsCEDU :: MPFloat -> BoundsCEDU MPFloat
MPFloat numbers and their basic operations
Multiple-precision floating-point type based on CDAR.Approx with 0 radius.
Instances
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 #