AERN2.MP.Ball.Field

Field operations on arbitrary precision dyadic balls

Orphan instances

CanPow MPBall Int

Associated Types

type PowType MPBall Int

Methods

pow :: MPBall -> Int -> PowType MPBall Int

CanPow MPBall Integer

Associated Types

type PowType MPBall Integer

Methods

pow :: MPBall -> Integer -> PowType MPBall Integer

CanDiv Int MPBall

Associated Types

type DivType Int MPBall

Methods

divide :: Int -> MPBall -> DivType Int MPBall

CanDiv Integer MPBall

Associated Types

type DivType Integer MPBall

Methods

divide :: Integer -> MPBall -> DivType Integer MPBall

CanDiv Rational MPBall

Associated Types

type DivType Rational MPBall

Methods

divide :: Rational -> MPBall -> DivType Rational MPBall

CanDiv Dyadic Dyadic

Associated Types

type DivType Dyadic Dyadic

Methods

divide :: Dyadic -> Dyadic -> DivType Dyadic Dyadic

CanDiv Dyadic MPBall

Associated Types

type DivType Dyadic MPBall

Methods

divide :: Dyadic -> MPBall -> DivType Dyadic MPBall

CanDiv MPBall Int

Associated Types

type DivType MPBall Int

Methods

divide :: MPBall -> Int -> DivType MPBall Int

CanDiv MPBall Integer

Associated Types

type DivType MPBall Integer

Methods

divide :: MPBall -> Integer -> DivType MPBall Integer

CanDiv MPBall Rational

Associated Types

type DivType MPBall Rational

Methods

divide :: MPBall -> Rational -> DivType MPBall Rational

CanDiv MPBall Dyadic

Associated Types

type DivType MPBall Dyadic

Methods

divide :: MPBall -> Dyadic -> DivType MPBall Dyadic

CanDiv MPBall MPBall

Associated Types

type DivType MPBall MPBall

Methods

divide :: MPBall -> MPBall -> DivType MPBall MPBall

CanDivIMod MPBall MPBall

Associated Types

type DivIType MPBall MPBall

type ModType MPBall MPBall

Methods

divIMod :: MPBall -> MPBall -> (DivIType MPBall MPBall, ModType MPBall MPBall)

mod :: MPBall -> MPBall -> ModType MPBall MPBall

divI :: MPBall -> MPBall -> DivIType MPBall MPBall

CanMulAsymmetric Int MPBall

Associated Types

type MulType Int MPBall

Methods

mul :: Int -> MPBall -> MulType Int MPBall

CanMulAsymmetric Integer MPBall

Associated Types

type MulType Integer MPBall

Methods

mul :: Integer -> MPBall -> MulType Integer MPBall

CanMulAsymmetric Rational MPBall

Associated Types

type MulType Rational MPBall

Methods

mul :: Rational -> MPBall -> MulType Rational MPBall

CanMulAsymmetric Dyadic MPBall

Associated Types

type MulType Dyadic MPBall

Methods

mul :: Dyadic -> MPBall -> MulType Dyadic MPBall

CanMulAsymmetric MPBall Int

Associated Types

type MulType MPBall Int

Methods

mul :: MPBall -> Int -> MulType MPBall Int

CanMulAsymmetric MPBall Integer

Associated Types

type MulType MPBall Integer

Methods

mul :: MPBall -> Integer -> MulType MPBall Integer

CanMulAsymmetric MPBall Rational

Associated Types

type MulType MPBall Rational

Methods

mul :: MPBall -> Rational -> MulType MPBall Rational

CanMulAsymmetric MPBall Dyadic

Associated Types

type MulType MPBall Dyadic

Methods

mul :: MPBall -> Dyadic -> MulType MPBall Dyadic

CanMulAsymmetric MPBall MPBall

Associated Types

type MulType MPBall MPBall

Methods

mul :: MPBall -> MPBall -> MulType MPBall MPBall

CanAddAsymmetric Int MPBall

Associated Types

type AddType Int MPBall

Methods

add :: Int -> MPBall -> AddType Int MPBall

CanAddAsymmetric Integer MPBall

Associated Types

type AddType Integer MPBall

Methods

add :: Integer -> MPBall -> AddType Integer MPBall

CanAddAsymmetric Rational MPBall

Associated Types

type AddType Rational MPBall

Methods

add :: Rational -> MPBall -> AddType Rational MPBall

CanAddAsymmetric Dyadic MPBall

Associated Types

type AddType Dyadic MPBall

Methods

add :: Dyadic -> MPBall -> AddType Dyadic MPBall

CanAddAsymmetric MPBall Int

Associated Types

type AddType MPBall Int

Methods

add :: MPBall -> Int -> AddType MPBall Int

CanAddAsymmetric MPBall Integer

Associated Types

type AddType MPBall Integer

Methods

add :: MPBall -> Integer -> AddType MPBall Integer

CanAddAsymmetric MPBall Rational

Associated Types

type AddType MPBall Rational

Methods

add :: MPBall -> Rational -> AddType MPBall Rational

CanAddAsymmetric MPBall Dyadic

Associated Types

type AddType MPBall Dyadic

Methods

add :: MPBall -> Dyadic -> AddType MPBall Dyadic

CanAddAsymmetric MPBall MPBall

Associated Types

type AddType MPBall MPBall

Methods

add :: MPBall -> MPBall -> AddType MPBall MPBall

CanSub Int MPBall

Associated Types

type SubType Int MPBall

Methods

sub :: Int -> MPBall -> SubType Int MPBall

CanSub Integer MPBall

Associated Types

type SubType Integer MPBall

Methods

sub :: Integer -> MPBall -> SubType Integer MPBall

CanSub Rational MPBall

Associated Types

type SubType Rational MPBall

Methods

sub :: Rational -> MPBall -> SubType Rational MPBall

CanSub Dyadic MPBall

Associated Types

type SubType Dyadic MPBall

Methods

sub :: Dyadic -> MPBall -> SubType Dyadic MPBall

CanSub MPBall Int

Associated Types

type SubType MPBall Int

Methods

sub :: MPBall -> Int -> SubType MPBall Int

CanSub MPBall Integer

Associated Types

type SubType MPBall Integer

Methods

sub :: MPBall -> Integer -> SubType MPBall Integer

CanSub MPBall Rational

Associated Types

type SubType MPBall Rational

Methods

sub :: MPBall -> Rational -> SubType MPBall Rational

CanSub MPBall Dyadic

Associated Types

type SubType MPBall Dyadic

Methods

sub :: MPBall -> Dyadic -> SubType MPBall Dyadic

CanSub MPBall MPBall

Associated Types

type SubType MPBall MPBall

Methods

sub :: MPBall -> MPBall -> SubType MPBall MPBall

CanPow MPBall b => CanPow MPBall (CN b)

Associated Types

type PowType MPBall (CN b)

Methods

pow :: MPBall -> CN b -> PowType MPBall (CN b)

(CanDiv MPBall b, CanTestZero b) => CanDiv MPBall (CN b)

Associated Types

type DivType MPBall (CN b)

Methods

divide :: MPBall -> CN b -> DivType MPBall (CN b)

CanMulAsymmetric MPBall b => CanMulAsymmetric MPBall (CN b)

Associated Types

type MulType MPBall (CN b)

Methods

mul :: MPBall -> CN b -> MulType MPBall (CN b)

CanAddAsymmetric MPBall b => CanAddAsymmetric MPBall (CN b)

Associated Types

type AddType MPBall (CN b)

Methods

add :: MPBall -> CN b -> AddType MPBall (CN b)

CanSub MPBall b => CanSub MPBall (CN b)

Associated Types

type SubType MPBall (CN b)

Methods

sub :: MPBall -> CN b -> SubType MPBall (CN b)

CanPow a MPBall => CanPow (CN a) MPBall

Associated Types

type PowType (CN a) MPBall

Methods

pow :: CN a -> MPBall -> PowType (CN a) MPBall

CanDiv a MPBall => CanDiv (CN a) MPBall

Associated Types

type DivType (CN a) MPBall

Methods

divide :: CN a -> MPBall -> DivType (CN a) MPBall

CanMulAsymmetric a MPBall => CanMulAsymmetric (CN a) MPBall

Associated Types

type MulType (CN a) MPBall

Methods

mul :: CN a -> MPBall -> MulType (CN a) MPBall

CanAddAsymmetric a MPBall => CanAddAsymmetric (CN a) MPBall

Associated Types

type AddType (CN a) MPBall

Methods

add :: CN a -> MPBall -> AddType (CN a) MPBall

CanSub a MPBall => CanSub (CN a) MPBall

Associated Types

type SubType (CN a) MPBall

Methods

sub :: CN a -> MPBall -> SubType (CN a) MPBall