AERN2.Real.FieldTH

Field operations on Cauchy Real numbers.

field ops (add, sub, mul, div) for `CReal -> CReal -> CReal`

field ops for `CReal -> t -> CReal` and `t -> CReal -> CReal` where t is Int, Integer, Rational, Dyadic

field ops for `CReal -> MPBall -> MPBall` and `CReal -> CN MPBall -> CN MPBall`

Orphan instances

(CanDiv Int a, CanTestZero a) => CanDiv Int (CSequence a)

Associated Types

type DivType Int (CSequence a)

Methods

divide :: Int -> CSequence a -> DivType Int (CSequence a)

(CanDiv Integer a, CanTestZero a) => CanDiv Integer (CSequence a)

Associated Types

type DivType Integer (CSequence a)

Methods

divide :: Integer -> CSequence a -> DivType Integer (CSequence a)

(CanDiv Rational a, CanTestZero a) => CanDiv Rational (CSequence a)

Associated Types

type DivType Rational (CSequence a)

Methods

divide :: Rational -> CSequence a -> DivType Rational (CSequence a)

(CanDiv Dyadic a, CanTestZero a) => CanDiv Dyadic (CSequence a)

Associated Types

type DivType Dyadic (CSequence a)

Methods

divide :: Dyadic -> CSequence a -> DivType Dyadic (CSequence a)

(CanPow Int e, HasOrderCertainly e Integer, CanTestIsIntegerType e, CanTestInteger e) => CanPow Int (CSequence e)

Associated Types

type PowType Int (CSequence e)

type PPowType Int (CSequence e)

Methods

pow :: Int -> CSequence e -> PowType Int (CSequence e)

ppow :: Int -> CSequence e -> PPowType Int (CSequence e)

(CanPow Integer e, HasOrderCertainly e Integer, CanTestIsIntegerType e, CanTestInteger e) => CanPow Integer (CSequence e)

Associated Types

type PowType Integer (CSequence e)

type PPowType Integer (CSequence e)

Methods

pow :: Integer -> CSequence e -> PowType Integer (CSequence e)

ppow :: Integer -> CSequence e -> PPowType Integer (CSequence e)

(CanPow Rational e, HasOrderCertainly e Integer, CanTestIsIntegerType e, CanTestInteger e) => CanPow Rational (CSequence e)

Associated Types

type PowType Rational (CSequence e)

type PPowType Rational (CSequence e)

Methods

pow :: Rational -> CSequence e -> PowType Rational (CSequence e)

ppow :: Rational -> CSequence e -> PPowType Rational (CSequence e)

(CanMulAsymmetric Int a, CanGiveUpIfVeryInaccurate (MulType Int a)) => CanMulAsymmetric Int (CSequence a)

Associated Types

type MulType Int (CSequence a)

Methods

mul :: Int -> CSequence a -> MulType Int (CSequence a)

(CanMulAsymmetric Integer a, CanGiveUpIfVeryInaccurate (MulType Integer a)) => CanMulAsymmetric Integer (CSequence a)

Associated Types

type MulType Integer (CSequence a)

Methods

mul :: Integer -> CSequence a -> MulType Integer (CSequence a)

(CanMulAsymmetric Rational a, CanGiveUpIfVeryInaccurate (MulType Rational a)) => CanMulAsymmetric Rational (CSequence a)

Associated Types

type MulType Rational (CSequence a)

Methods

mul :: Rational -> CSequence a -> MulType Rational (CSequence a)

(CanMulAsymmetric Dyadic a, CanGiveUpIfVeryInaccurate (MulType Dyadic a)) => CanMulAsymmetric Dyadic (CSequence a)

Associated Types

type MulType Dyadic (CSequence a)

Methods

mul :: Dyadic -> CSequence a -> MulType Dyadic (CSequence a)

CanAddAsymmetric Int a => CanAddAsymmetric Int (CSequence a)

Associated Types

type AddType Int (CSequence a)

Methods

add :: Int -> CSequence a -> AddType Int (CSequence a)

CanAddAsymmetric Integer a => CanAddAsymmetric Integer (CSequence a)

Associated Types

type AddType Integer (CSequence a)

Methods

add :: Integer -> CSequence a -> AddType Integer (CSequence a)

CanAddAsymmetric Rational a => CanAddAsymmetric Rational (CSequence a)

Associated Types

type AddType Rational (CSequence a)

Methods

add :: Rational -> CSequence a -> AddType Rational (CSequence a)

CanAddAsymmetric Dyadic a => CanAddAsymmetric Dyadic (CSequence a)

Associated Types

type AddType Dyadic (CSequence a)

Methods

add :: Dyadic -> CSequence a -> AddType Dyadic (CSequence a)

CanSub Int a => CanSub Int (CSequence a)

Associated Types

type SubType Int (CSequence a)

Methods

sub :: Int -> CSequence a -> SubType Int (CSequence a)

CanSub Integer a => CanSub Integer (CSequence a)

Associated Types

type SubType Integer (CSequence a)

Methods

sub :: Integer -> CSequence a -> SubType Integer (CSequence a)

CanSub Rational a => CanSub Rational (CSequence a)

Associated Types

type SubType Rational (CSequence a)

Methods

sub :: Rational -> CSequence a -> SubType Rational (CSequence a)

CanSub Dyadic a => CanSub Dyadic (CSequence a)

Associated Types

type SubType Dyadic (CSequence a)

Methods

sub :: Dyadic -> CSequence a -> SubType Dyadic (CSequence a)

CanDiv a Integer => CanDiv (CSequence a) Integer

Associated Types

type DivType (CSequence a) Integer

Methods

divide :: CSequence a -> Integer -> DivType (CSequence a) Integer

CanDiv a Int => CanDiv (CSequence a) Int

Associated Types

type DivType (CSequence a) Int

Methods

divide :: CSequence a -> Int -> DivType (CSequence a) Int

CanDiv a Rational => CanDiv (CSequence a) Rational

Associated Types

type DivType (CSequence a) Rational

Methods

divide :: CSequence a -> Rational -> DivType (CSequence a) Rational

CanDiv a Dyadic => CanDiv (CSequence a) Dyadic

Associated Types

type DivType (CSequence a) Dyadic

Methods

divide :: CSequence a -> Dyadic -> DivType (CSequence a) Dyadic

(CanPow b Integer, HasOrderCertainly b Integer, HasEqCertainly b Integer, CanTestIsIntegerType b) => CanPow (CSequence b) Integer

Associated Types

type PowType (CSequence b) Integer

type PPowType (CSequence b) Integer

Methods

pow :: CSequence b -> Integer -> PowType (CSequence b) Integer

ppow :: CSequence b -> Integer -> PPowType (CSequence b) Integer

(CanPow b Int, HasOrderCertainly b Integer, HasEqCertainly b Integer, CanTestIsIntegerType b) => CanPow (CSequence b) Int

Associated Types

type PowType (CSequence b) Int

type PPowType (CSequence b) Int

Methods

pow :: CSequence b -> Int -> PowType (CSequence b) Int

ppow :: CSequence b -> Int -> PPowType (CSequence b) Int

(CanPow b Rational, HasOrderCertainly b Integer, HasEqCertainly b Integer, CanTestIsIntegerType b) => CanPow (CSequence b) Rational

Associated Types

type PowType (CSequence b) Rational

type PPowType (CSequence b) Rational

Methods

pow :: CSequence b -> Rational -> PowType (CSequence b) Rational

ppow :: CSequence b -> Rational -> PPowType (CSequence b) Rational

(CanMulAsymmetric a Integer, CanGiveUpIfVeryInaccurate (MulType a Integer)) => CanMulAsymmetric (CSequence a) Integer

Associated Types

type MulType (CSequence a) Integer

Methods

mul :: CSequence a -> Integer -> MulType (CSequence a) Integer

(CanMulAsymmetric a Int, CanGiveUpIfVeryInaccurate (MulType a Int)) => CanMulAsymmetric (CSequence a) Int

Associated Types

type MulType (CSequence a) Int

Methods

mul :: CSequence a -> Int -> MulType (CSequence a) Int

(CanMulAsymmetric a Rational, CanGiveUpIfVeryInaccurate (MulType a Rational)) => CanMulAsymmetric (CSequence a) Rational

Associated Types

type MulType (CSequence a) Rational

Methods

mul :: CSequence a -> Rational -> MulType (CSequence a) Rational

(CanMulAsymmetric a Dyadic, CanGiveUpIfVeryInaccurate (MulType a Dyadic)) => CanMulAsymmetric (CSequence a) Dyadic

Associated Types

type MulType (CSequence a) Dyadic

Methods

mul :: CSequence a -> Dyadic -> MulType (CSequence a) Dyadic

CanAddAsymmetric a Integer => CanAddAsymmetric (CSequence a) Integer

Associated Types

type AddType (CSequence a) Integer

Methods

add :: CSequence a -> Integer -> AddType (CSequence a) Integer

CanAddAsymmetric a Int => CanAddAsymmetric (CSequence a) Int

Associated Types

type AddType (CSequence a) Int

Methods

add :: CSequence a -> Int -> AddType (CSequence a) Int

CanAddAsymmetric a Rational => CanAddAsymmetric (CSequence a) Rational

Associated Types

type AddType (CSequence a) Rational

Methods

add :: CSequence a -> Rational -> AddType (CSequence a) Rational

CanAddAsymmetric a Dyadic => CanAddAsymmetric (CSequence a) Dyadic

Associated Types

type AddType (CSequence a) Dyadic

Methods

add :: CSequence a -> Dyadic -> AddType (CSequence a) Dyadic

CanSub a Integer => CanSub (CSequence a) Integer

Associated Types

type SubType (CSequence a) Integer

Methods

sub :: CSequence a -> Integer -> SubType (CSequence a) Integer

CanSub a Int => CanSub (CSequence a) Int

Associated Types

type SubType (CSequence a) Int

Methods

sub :: CSequence a -> Int -> SubType (CSequence a) Int

CanSub a Rational => CanSub (CSequence a) Rational

Associated Types

type SubType (CSequence a) Rational

Methods

sub :: CSequence a -> Rational -> SubType (CSequence a) Rational

CanSub a Dyadic => CanSub (CSequence a) Dyadic

Associated Types

type SubType (CSequence a) Dyadic

Methods

sub :: CSequence a -> Dyadic -> SubType (CSequence a) Dyadic

(CanDiv Int a, CanTestZero a) => CanDiv (CN Int) (CSequence a)

Associated Types

type DivType (CN Int) (CSequence a)

Methods

divide :: CN Int -> CSequence a -> DivType (CN Int) (CSequence a)

(CanDiv Integer a, CanTestZero a) => CanDiv (CN Integer) (CSequence a)

Associated Types

type DivType (CN Integer) (CSequence a)

Methods

divide :: CN Integer -> CSequence a -> DivType (CN Integer) (CSequence a)

(CanDiv Rational a, CanTestZero a) => CanDiv (CN Rational) (CSequence a)

Associated Types

type DivType (CN Rational) (CSequence a)

Methods

divide :: CN Rational -> CSequence a -> DivType (CN Rational) (CSequence a)

(CanDiv Dyadic a, CanTestZero a) => CanDiv (CN Dyadic) (CSequence a)

Associated Types

type DivType (CN Dyadic) (CSequence a)

Methods

divide :: CN Dyadic -> CSequence a -> DivType (CN Dyadic) (CSequence a)

CanDiv a Integer => CanDiv (CSequence a) (CN Integer)

Associated Types

type DivType (CSequence a) (CN Integer)

Methods

divide :: CSequence a -> CN Integer -> DivType (CSequence a) (CN Integer)

CanDiv a Int => CanDiv (CSequence a) (CN Int)

Associated Types

type DivType (CSequence a) (CN Int)

Methods

divide :: CSequence a -> CN Int -> DivType (CSequence a) (CN Int)

CanDiv a Rational => CanDiv (CSequence a) (CN Rational)

Associated Types

type DivType (CSequence a) (CN Rational)

Methods

divide :: CSequence a -> CN Rational -> DivType (CSequence a) (CN Rational)

CanDiv a Dyadic => CanDiv (CSequence a) (CN Dyadic)

Associated Types

type DivType (CSequence a) (CN Dyadic)

Methods

divide :: CSequence a -> CN Dyadic -> DivType (CSequence a) (CN Dyadic)

(CanMulAsymmetric Int a, CanGiveUpIfVeryInaccurate (MulType Int a)) => CanMulAsymmetric (CN Int) (CSequence a)

Associated Types

type MulType (CN Int) (CSequence a)

Methods

mul :: CN Int -> CSequence a -> MulType (CN Int) (CSequence a)

(CanMulAsymmetric Integer a, CanGiveUpIfVeryInaccurate (MulType Integer a)) => CanMulAsymmetric (CN Integer) (CSequence a)

Associated Types

type MulType (CN Integer) (CSequence a)

Methods

mul :: CN Integer -> CSequence a -> MulType (CN Integer) (CSequence a)

(CanMulAsymmetric Rational a, CanGiveUpIfVeryInaccurate (MulType Rational a)) => CanMulAsymmetric (CN Rational) (CSequence a)

Associated Types

type MulType (CN Rational) (CSequence a)

Methods

mul :: CN Rational -> CSequence a -> MulType (CN Rational) (CSequence a)

(CanMulAsymmetric Dyadic a, CanGiveUpIfVeryInaccurate (MulType Dyadic a)) => CanMulAsymmetric (CN Dyadic) (CSequence a)

Associated Types

type MulType (CN Dyadic) (CSequence a)

Methods

mul :: CN Dyadic -> CSequence a -> MulType (CN Dyadic) (CSequence a)

(CanMulAsymmetric a Integer, CanGiveUpIfVeryInaccurate (MulType a Integer)) => CanMulAsymmetric (CSequence a) (CN Integer)

Associated Types

type MulType (CSequence a) (CN Integer)

Methods

mul :: CSequence a -> CN Integer -> MulType (CSequence a) (CN Integer)

(CanMulAsymmetric a Int, CanGiveUpIfVeryInaccurate (MulType a Int)) => CanMulAsymmetric (CSequence a) (CN Int)

Associated Types

type MulType (CSequence a) (CN Int)

Methods

mul :: CSequence a -> CN Int -> MulType (CSequence a) (CN Int)

(CanMulAsymmetric a Rational, CanGiveUpIfVeryInaccurate (MulType a Rational)) => CanMulAsymmetric (CSequence a) (CN Rational)

Associated Types

type MulType (CSequence a) (CN Rational)

Methods

mul :: CSequence a -> CN Rational -> MulType (CSequence a) (CN Rational)

(CanMulAsymmetric a Dyadic, CanGiveUpIfVeryInaccurate (MulType a Dyadic)) => CanMulAsymmetric (CSequence a) (CN Dyadic)

Associated Types

type MulType (CSequence a) (CN Dyadic)

Methods

mul :: CSequence a -> CN Dyadic -> MulType (CSequence a) (CN Dyadic)

CanAddAsymmetric Int a => CanAddAsymmetric (CN Int) (CSequence a)

Associated Types

type AddType (CN Int) (CSequence a)

Methods

add :: CN Int -> CSequence a -> AddType (CN Int) (CSequence a)

CanAddAsymmetric Integer a => CanAddAsymmetric (CN Integer) (CSequence a)

Associated Types

type AddType (CN Integer) (CSequence a)

Methods

add :: CN Integer -> CSequence a -> AddType (CN Integer) (CSequence a)

CanAddAsymmetric Rational a => CanAddAsymmetric (CN Rational) (CSequence a)

Associated Types

type AddType (CN Rational) (CSequence a)

Methods

add :: CN Rational -> CSequence a -> AddType (CN Rational) (CSequence a)

CanAddAsymmetric Dyadic a => CanAddAsymmetric (CN Dyadic) (CSequence a)

Associated Types

type AddType (CN Dyadic) (CSequence a)

Methods

add :: CN Dyadic -> CSequence a -> AddType (CN Dyadic) (CSequence a)

CanAddAsymmetric a Integer => CanAddAsymmetric (CSequence a) (CN Integer)

Associated Types

type AddType (CSequence a) (CN Integer)

Methods

add :: CSequence a -> CN Integer -> AddType (CSequence a) (CN Integer)

CanAddAsymmetric a Int => CanAddAsymmetric (CSequence a) (CN Int)

Associated Types

type AddType (CSequence a) (CN Int)

Methods

add :: CSequence a -> CN Int -> AddType (CSequence a) (CN Int)

CanAddAsymmetric a Rational => CanAddAsymmetric (CSequence a) (CN Rational)

Associated Types

type AddType (CSequence a) (CN Rational)

Methods

add :: CSequence a -> CN Rational -> AddType (CSequence a) (CN Rational)

CanAddAsymmetric a Dyadic => CanAddAsymmetric (CSequence a) (CN Dyadic)

Associated Types

type AddType (CSequence a) (CN Dyadic)

Methods

add :: CSequence a -> CN Dyadic -> AddType (CSequence a) (CN Dyadic)

CanSub Int a => CanSub (CN Int) (CSequence a)

Associated Types

type SubType (CN Int) (CSequence a)

Methods

sub :: CN Int -> CSequence a -> SubType (CN Int) (CSequence a)

CanSub Integer a => CanSub (CN Integer) (CSequence a)

Associated Types

type SubType (CN Integer) (CSequence a)

Methods

sub :: CN Integer -> CSequence a -> SubType (CN Integer) (CSequence a)

CanSub Rational a => CanSub (CN Rational) (CSequence a)

Associated Types

type SubType (CN Rational) (CSequence a)

Methods

sub :: CN Rational -> CSequence a -> SubType (CN Rational) (CSequence a)

CanSub Dyadic a => CanSub (CN Dyadic) (CSequence a)

Associated Types

type SubType (CN Dyadic) (CSequence a)

Methods

sub :: CN Dyadic -> CSequence a -> SubType (CN Dyadic) (CSequence a)

CanSub a Integer => CanSub (CSequence a) (CN Integer)

Associated Types

type SubType (CSequence a) (CN Integer)

Methods

sub :: CSequence a -> CN Integer -> SubType (CSequence a) (CN Integer)

CanSub a Int => CanSub (CSequence a) (CN Int)

Associated Types

type SubType (CSequence a) (CN Int)

Methods

sub :: CSequence a -> CN Int -> SubType (CSequence a) (CN Int)

CanSub a Rational => CanSub (CSequence a) (CN Rational)

Associated Types

type SubType (CSequence a) (CN Rational)

Methods

sub :: CSequence a -> CN Rational -> SubType (CSequence a) (CN Rational)

CanSub a Dyadic => CanSub (CSequence a) (CN Dyadic)

Associated Types

type SubType (CSequence a) (CN Dyadic)

Methods

sub :: CSequence a -> CN Dyadic -> SubType (CSequence a) (CN Dyadic)