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.Norm

Description

 

Documentation

class HasNorm a where Source #

Methods

getNormLog :: a -> NormLog Source #

For a value x, return NormBits j where j is close to the smallest i with |x| <= 2^i. If x == 0 then return NormZero.

Instances

Instances details
HasNorm Int Source # 
Instance details

Defined in AERN2.Norm

HasNorm Integer Source # 
Instance details

Defined in AERN2.Norm

HasNorm Rational Source # 
Instance details

Defined in AERN2.Norm

HasNorm MPFloat Source # 
Instance details

Defined in AERN2.MP.Float.Type

HasNorm Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

HasNorm MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Type

HasNorm t => HasNorm (Complex t) Source # 
Instance details

Defined in AERN2.Norm

data NormLog Source #

Constructors

NormZero

ie NormBits (-infinity)

NormBits Integer 

Instances

Instances details
Eq NormLog Source # 
Instance details

Defined in AERN2.Norm

Methods

(==) :: NormLog -> NormLog -> Bool #

(/=) :: NormLog -> NormLog -> Bool #

Ord NormLog Source # 
Instance details

Defined in AERN2.Norm

Show NormLog Source # 
Instance details

Defined in AERN2.Norm

CanAddAsymmetric Integer NormLog Source # 
Instance details

Defined in AERN2.Norm

Associated Types

type AddType Integer NormLog #

CanAddAsymmetric NormLog Integer Source # 
Instance details

Defined in AERN2.Norm

Associated Types

type AddType NormLog Integer #

CanSub NormLog Integer Source # 
Instance details

Defined in AERN2.Norm

Associated Types

type SubType NormLog Integer #

CanMinMaxAsymmetric NormLog NormLog Source # 
Instance details

Defined in AERN2.Norm

Associated Types

type MinMaxType NormLog NormLog #

HasEqAsymmetric NormLog NormLog Source # 
Instance details

Defined in AERN2.Norm

Associated Types

type EqCompareType NormLog NormLog #

HasOrderAsymmetric NormLog NormLog Source # 
Instance details

Defined in AERN2.Norm

Associated Types

type OrderCompareType NormLog NormLog #

ConvertibleExactly NormLog Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

type AddType Integer NormLog Source # 
Instance details

Defined in AERN2.Norm

type AddType NormLog Integer Source # 
Instance details

Defined in AERN2.Norm

type SubType NormLog Integer Source # 
Instance details

Defined in AERN2.Norm

type MinMaxType NormLog NormLog Source # 
Instance details

Defined in AERN2.Norm

type EqCompareType NormLog NormLog Source # 
Instance details

Defined in AERN2.Norm

type OrderCompareType NormLog NormLog Source # 
Instance details

Defined in AERN2.Norm