aern2-mp-0.2.2.0: Multi-precision ball (interval) arithmetic
Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

AERN2.MP.Ball.Field

Description

Field operations on arbitrary precision dyadic balls

Orphan instances

CanPow MPBall Int Source # 
Instance details

Associated Types

type PowType MPBall Int #

Methods

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

CanPow MPBall Integer Source # 
Instance details

Associated Types

type PowType MPBall Integer #

Methods

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

CanDiv Int MPBall Source # 
Instance details

Associated Types

type DivType Int MPBall #

Methods

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

CanDiv Integer MPBall Source # 
Instance details

Associated Types

type DivType Integer MPBall #

Methods

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

CanDiv Rational MPBall Source # 
Instance details

Associated Types

type DivType Rational MPBall #

Methods

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

CanDiv Dyadic Dyadic Source # 
Instance details

Associated Types

type DivType Dyadic Dyadic #

Methods

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

CanDiv Dyadic MPBall Source # 
Instance details

Associated Types

type DivType Dyadic MPBall #

Methods

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

CanDiv MPBall Int Source # 
Instance details

Associated Types

type DivType MPBall Int #

Methods

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

CanDiv MPBall Integer Source # 
Instance details

Associated Types

type DivType MPBall Integer #

Methods

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

CanDiv MPBall Rational Source # 
Instance details

Associated Types

type DivType MPBall Rational #

Methods

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

CanDiv MPBall Dyadic Source # 
Instance details

Associated Types

type DivType MPBall Dyadic #

Methods

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

CanDiv MPBall MPBall Source # 
Instance details

Associated Types

type DivType MPBall MPBall #

Methods

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

CanDivIMod MPBall MPBall Source # 
Instance details

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 Source # 
Instance details

Associated Types

type MulType Int MPBall #

Methods

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

CanMulAsymmetric Integer MPBall Source # 
Instance details

Associated Types

type MulType Integer MPBall #

Methods

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

CanMulAsymmetric Rational MPBall Source # 
Instance details

Associated Types

type MulType Rational MPBall #

Methods

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

CanMulAsymmetric Dyadic MPBall Source # 
Instance details

Associated Types

type MulType Dyadic MPBall #

Methods

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

CanMulAsymmetric MPBall Int Source # 
Instance details

Associated Types

type MulType MPBall Int #

Methods

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

CanMulAsymmetric MPBall Integer Source # 
Instance details

Associated Types

type MulType MPBall Integer #

Methods

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

CanMulAsymmetric MPBall Rational Source # 
Instance details

Associated Types

type MulType MPBall Rational #

Methods

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

CanMulAsymmetric MPBall Dyadic Source # 
Instance details

Associated Types

type MulType MPBall Dyadic #

Methods

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

CanMulAsymmetric MPBall MPBall Source # 
Instance details

Associated Types

type MulType MPBall MPBall #

Methods

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

CanAddAsymmetric Int MPBall Source # 
Instance details

Associated Types

type AddType Int MPBall #

Methods

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

CanAddAsymmetric Integer MPBall Source # 
Instance details

Associated Types

type AddType Integer MPBall #

Methods

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

CanAddAsymmetric Rational MPBall Source # 
Instance details

Associated Types

type AddType Rational MPBall #

Methods

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

CanAddAsymmetric Dyadic MPBall Source # 
Instance details

Associated Types

type AddType Dyadic MPBall #

Methods

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

CanAddAsymmetric MPBall Int Source # 
Instance details

Associated Types

type AddType MPBall Int #

Methods

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

CanAddAsymmetric MPBall Integer Source # 
Instance details

Associated Types

type AddType MPBall Integer #

Methods

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

CanAddAsymmetric MPBall Rational Source # 
Instance details

Associated Types

type AddType MPBall Rational #

Methods

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

CanAddAsymmetric MPBall Dyadic Source # 
Instance details

Associated Types

type AddType MPBall Dyadic #

Methods

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

CanAddAsymmetric MPBall MPBall Source # 
Instance details

Associated Types

type AddType MPBall MPBall #

Methods

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

CanSub Int MPBall Source # 
Instance details

Associated Types

type SubType Int MPBall #

Methods

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

CanSub Integer MPBall Source # 
Instance details

Associated Types

type SubType Integer MPBall #

Methods

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

CanSub Rational MPBall Source # 
Instance details

Associated Types

type SubType Rational MPBall #

Methods

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

CanSub Dyadic MPBall Source # 
Instance details

Associated Types

type SubType Dyadic MPBall #

Methods

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

CanSub MPBall Int Source # 
Instance details

Associated Types

type SubType MPBall Int #

Methods

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

CanSub MPBall Integer Source # 
Instance details

Associated Types

type SubType MPBall Integer #

Methods

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

CanSub MPBall Rational Source # 
Instance details

Associated Types

type SubType MPBall Rational #

Methods

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

CanSub MPBall Dyadic Source # 
Instance details

Associated Types

type SubType MPBall Dyadic #

Methods

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

CanSub MPBall MPBall Source # 
Instance details

Associated Types

type SubType MPBall MPBall #

Methods

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

CanPow MPBall b => CanPow MPBall (CN b) Source # 
Instance details

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) Source # 
Instance details

Associated Types

type DivType MPBall (CN b) #

Methods

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

CanMulAsymmetric MPBall b => CanMulAsymmetric MPBall (CN b) Source # 
Instance details

Associated Types

type MulType MPBall (CN b) #

Methods

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

CanAddAsymmetric MPBall b => CanAddAsymmetric MPBall (CN b) Source # 
Instance details

Associated Types

type AddType MPBall (CN b) #

Methods

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

CanSub MPBall b => CanSub MPBall (CN b) Source # 
Instance details

Associated Types

type SubType MPBall (CN b) #

Methods

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

CanPow a MPBall => CanPow (CN a) MPBall Source # 
Instance details

Associated Types

type PowType (CN a) MPBall #

Methods

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

CanDiv a MPBall => CanDiv (CN a) MPBall Source # 
Instance details

Associated Types

type DivType (CN a) MPBall #

Methods

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

CanMulAsymmetric a MPBall => CanMulAsymmetric (CN a) MPBall Source # 
Instance details

Associated Types

type MulType (CN a) MPBall #

Methods

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

CanAddAsymmetric a MPBall => CanAddAsymmetric (CN a) MPBall Source # 
Instance details

Associated Types

type AddType (CN a) MPBall #

Methods

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

CanSub a MPBall => CanSub (CN a) MPBall Source # 
Instance details

Associated Types

type SubType (CN a) MPBall #

Methods

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