Copyright	(c) Michal Konecny
License	BSD3
Maintainer	mikkonecny@gmail.com
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

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 Methods getNormLog :: MPBall -> NormLog Source #
HasNorm Dyadic Source #
Instance details Defined in AERN2.MP.Dyadic Methods getNormLog :: Dyadic -> NormLog Source #
HasNorm MPFloat Source #
Instance details Defined in AERN2.MP.Float.Type Methods getNormLog :: MPFloat -> NormLog Source #
HasNorm Rational Source #
Instance details Defined in AERN2.Norm Methods getNormLog :: Rational -> NormLog Source #
HasNorm Integer Source #
Instance details Defined in AERN2.Norm Methods getNormLog :: Integer -> NormLog Source #
HasNorm Int Source #
Instance details Defined in AERN2.Norm Methods getNormLog :: Int -> NormLog Source #
HasNorm t => HasNorm (Complex t) Source #
Instance details Defined in AERN2.Norm Methods getNormLog :: Complex t -> NormLog Source #

data NormLog Source #

Constructors

NormZero	ie NormBits (-infinity)
NormBits Integer

Instances

Instances details

Show NormLog Source #
Instance details Defined in AERN2.Norm Methods showsPrec :: Int -> NormLog -> ShowS # show :: NormLog -> String # showList :: [NormLog] -> ShowS #
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 Methods compare :: NormLog -> NormLog -> Ordering # (<) :: NormLog -> NormLog -> Bool # (<=) :: NormLog -> NormLog -> Bool # (>) :: NormLog -> NormLog -> Bool # (>=) :: NormLog -> NormLog -> Bool # max :: NormLog -> NormLog -> NormLog # min :: NormLog -> NormLog -> NormLog #
CanAddAsymmetric NormLog Integer Source #
Instance details Defined in AERN2.Norm Associated Types type AddType NormLog Integer # Methods add :: NormLog -> Integer -> AddType NormLog Integer #
CanAddAsymmetric Integer NormLog Source #
Instance details Defined in AERN2.Norm Associated Types type AddType Integer NormLog # Methods add :: Integer -> NormLog -> AddType Integer NormLog #
CanSub NormLog Integer Source #
Instance details Defined in AERN2.Norm Associated Types type SubType NormLog Integer # Methods sub :: NormLog -> Integer -> SubType NormLog Integer #
HasEqAsymmetric NormLog NormLog Source #
Instance details Defined in AERN2.Norm Associated Types type EqCompareType NormLog NormLog # Methods equalTo :: NormLog -> NormLog -> EqCompareType NormLog NormLog # notEqualTo :: NormLog -> NormLog -> EqCompareType NormLog NormLog #
ConvertibleExactly NormLog Accuracy Source #
Instance details Defined in AERN2.MP.Accuracy Methods safeConvertExactly :: NormLog -> ConvertResult Accuracy #
CanMinMaxAsymmetric NormLog NormLog Source #
Instance details Defined in AERN2.Norm Associated Types type MinMaxType NormLog NormLog # Methods min :: NormLog -> NormLog -> MinMaxType NormLog NormLog # max :: NormLog -> NormLog -> MinMaxType NormLog NormLog #
HasOrderAsymmetric NormLog NormLog Source #
Instance details Defined in AERN2.Norm Associated Types type OrderCompareType NormLog NormLog # Methods lessThan :: NormLog -> NormLog -> OrderCompareType NormLog NormLog # greaterThan :: NormLog -> NormLog -> OrderCompareType NormLog NormLog # leq :: NormLog -> NormLog -> OrderCompareType NormLog NormLog # geq :: NormLog -> NormLog -> OrderCompareType NormLog NormLog #
type AddType NormLog Integer Source #
Instance details Defined in AERN2.Norm type AddType NormLog Integer = NormLog
type AddType Integer NormLog Source #
Instance details Defined in AERN2.Norm type AddType Integer NormLog = NormLog
type SubType NormLog Integer Source #
Instance details Defined in AERN2.Norm type SubType NormLog Integer = NormLog
type EqCompareType NormLog NormLog Source #
Instance details Defined in AERN2.Norm type EqCompareType NormLog NormLog = Bool
type MinMaxType NormLog NormLog Source #
Instance details Defined in AERN2.Norm type MinMaxType NormLog NormLog = NormLog
type OrderCompareType NormLog NormLog Source #
Instance details Defined in AERN2.Norm type OrderCompareType NormLog NormLog = Bool

invertNormLog :: NormLog -> NormLog Source #