module AERN2.MP.UseMPFR.Float.RoundedAdaptor
#ifndef MPFRRounded
() where
#else
(
module AERN2.MP.UseMPFR.Float.RoundedAdaptor
, module Numeric.RoundedSimple
)
where
import Prelude hiding (div, pi)
import Numeric.RoundedSimple hiding (prec)
type RoundMode = RoundingMode
defaultPrecision :: Precision
defaultPrecision = 10
pi :: RoundMode -> Precision -> Rounded
pi = kPi
fromIntegerA :: RoundMode -> Precision -> Integer -> Rounded
fromIntegerA = fromInteger'
zero, one :: Rounded
zero = fromIntegerA Up defaultPrecision 0
one = fromIntegerA Up defaultPrecision 1
toDoubleA :: RoundMode -> Rounded -> Double
toDoubleA = toDouble
fromRationalA :: RoundMode -> Precision -> Rational -> Rounded
fromRationalA = fromRational'
toRationalA :: Rounded -> Rational
toRationalA = toRational'
add, sub, mul, div, atan2 :: RoundMode -> Precision -> Rounded -> Rounded -> Rounded
add = add_
sub = sub_
mul = mul_
div = div_
atan2 = atan2_
neg, abs, sqrt, exp, log, sin, cos :: RoundMode -> Precision -> Rounded -> Rounded
neg = negate_
abs = abs_
sqrt = sqrt_
exp = exp_
log = log_
sin = sin_
cos = cos_
#endif