aern2-mp-0.2.16.1: Multi-precision ball (interval) arithmetic
Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
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 MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Type

HasNorm Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

HasNorm MPFloat Source # 
Instance details

Defined in AERN2.MP.Float.Type

HasNorm Rational Source # 
Instance details

Defined in AERN2.Norm

HasNorm Integer Source # 
Instance details

Defined in AERN2.Norm

HasNorm Int Source # 
Instance details

Defined in AERN2.Norm

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

Defined in AERN2.Norm

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

CanAddAsymmetric NormLog Integer Source # 
Instance details

Defined in AERN2.Norm

Associated Types

type AddType NormLog Integer #

CanAddAsymmetric Integer NormLog Source # 
Instance details

Defined in AERN2.Norm

Associated Types

type AddType Integer NormLog #

CanSub NormLog Integer Source # 
Instance details

Defined in AERN2.Norm

Associated Types

type SubType NormLog Integer #

HasEqAsymmetric NormLog NormLog Source # 
Instance details

Defined in AERN2.Norm

Associated Types

type EqCompareType NormLog NormLog #

ConvertibleExactly NormLog Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

CanMinMaxAsymmetric NormLog NormLog Source # 
Instance details

Defined in AERN2.Norm

Associated Types

type MinMaxType NormLog NormLog #

HasOrderAsymmetric NormLog NormLog Source # 
Instance details

Defined in AERN2.Norm

Associated Types

type OrderCompareType NormLog NormLog #

type AddType NormLog Integer Source # 
Instance details

Defined in AERN2.Norm

type AddType Integer NormLog Source # 
Instance details

Defined in AERN2.Norm

type SubType NormLog Integer Source # 
Instance details

Defined in AERN2.Norm

type EqCompareType NormLog NormLog Source # 
Instance details

Defined in AERN2.Norm

type MinMaxType NormLog NormLog Source # 
Instance details

Defined in AERN2.Norm

type OrderCompareType NormLog NormLog Source # 
Instance details

Defined in AERN2.Norm