AERN2.Real.Elementary

Selected elementary operations on Cauchy Real numbers.

Documentation

pi :: CReal

Orphan instances

Floating CReal

Methods

pi :: CReal

exp :: CReal -> CReal

log :: CReal -> CReal

sqrt :: CReal -> CReal

(**) :: CReal -> CReal -> CReal

logBase :: CReal -> CReal -> CReal

sin :: CReal -> CReal

cos :: CReal -> CReal

tan :: CReal -> CReal

asin :: CReal -> CReal

acos :: CReal -> CReal

atan :: CReal -> CReal

sinh :: CReal -> CReal

cosh :: CReal -> CReal

tanh :: CReal -> CReal

asinh :: CReal -> CReal

acosh :: CReal -> CReal

atanh :: CReal -> CReal

log1p :: CReal -> CReal

expm1 :: CReal -> CReal

log1pexp :: CReal -> CReal

log1mexp :: CReal -> CReal

CanSqrt Int

Associated Types

type SqrtType Int

Methods

sqrt :: Int -> SqrtType Int

CanSqrt Integer

Associated Types

type SqrtType Integer

Methods

sqrt :: Integer -> SqrtType Integer

CanSqrt Rational

Associated Types

type SqrtType Rational

Methods

sqrt :: Rational -> SqrtType Rational

CanSqrt Dyadic

Associated Types

type SqrtType Dyadic

Methods

sqrt :: Dyadic -> SqrtType Dyadic

CanSqrt CReal

Associated Types

type SqrtType CReal

Methods

sqrt :: CReal -> SqrtType CReal

CanExp Int

Associated Types

type ExpType Int

Methods

exp :: Int -> ExpType Int

CanExp Integer

Associated Types

type ExpType Integer

Methods

exp :: Integer -> ExpType Integer

CanExp Rational

Associated Types

type ExpType Rational

Methods

exp :: Rational -> ExpType Rational

CanExp Dyadic

Associated Types

type ExpType Dyadic

Methods

exp :: Dyadic -> ExpType Dyadic

CanExp CReal

Associated Types

type ExpType CReal

Methods

exp :: CReal -> ExpType CReal

CanLog Int

Associated Types

type LogType Int

Methods

log :: Int -> LogType Int

CanLog Integer

Associated Types

type LogType Integer

Methods

log :: Integer -> LogType Integer

CanLog Rational

Associated Types

type LogType Rational

Methods

log :: Rational -> LogType Rational

CanLog Dyadic

Associated Types

type LogType Dyadic

Methods

log :: Dyadic -> LogType Dyadic

CanLog CReal

Associated Types

type LogType CReal

Methods

log :: CReal -> LogType CReal

CanSinCos Int

Associated Types

type SinCosType Int

Methods

cos :: Int -> SinCosType Int

sin :: Int -> SinCosType Int

CanSinCos Integer

Associated Types

type SinCosType Integer

Methods

cos :: Integer -> SinCosType Integer

sin :: Integer -> SinCosType Integer

CanSinCos Rational

Associated Types

type SinCosType Rational

Methods

cos :: Rational -> SinCosType Rational

sin :: Rational -> SinCosType Rational

CanSinCos Dyadic

Associated Types

type SinCosType Dyadic

Methods

cos :: Dyadic -> SinCosType Dyadic

sin :: Dyadic -> SinCosType Dyadic

CanSinCos CReal

Associated Types

type SinCosType CReal

Methods

cos :: CReal -> SinCosType CReal

sin :: CReal -> SinCosType CReal

CanPow Int Rational

Associated Types

type PowType Int Rational

Methods

pow :: Int -> Rational -> PowType Int Rational

CanPow Int Dyadic

Associated Types

type PowType Int Dyadic

Methods

pow :: Int -> Dyadic -> PowType Int Dyadic

CanPow Integer Rational

Associated Types

type PowType Integer Rational

Methods

pow :: Integer -> Rational -> PowType Integer Rational

CanPow Integer Dyadic

Associated Types

type PowType Integer Dyadic

Methods

pow :: Integer -> Dyadic -> PowType Integer Dyadic

CanPow Rational Rational

Associated Types

type PowType Rational Rational

Methods

pow :: Rational -> Rational -> PowType Rational Rational

CanPow Rational Dyadic

Associated Types

type PowType Rational Dyadic

Methods

pow :: Rational -> Dyadic -> PowType Rational Dyadic

CanPow Dyadic Rational

Associated Types

type PowType Dyadic Rational

Methods

pow :: Dyadic -> Rational -> PowType Dyadic Rational

CanPow Dyadic Dyadic

Associated Types

type PowType Dyadic Dyadic

Methods

pow :: Dyadic -> Dyadic -> PowType Dyadic Dyadic