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

AERN2.Norm

Description

Documentation

class HasNorm a where #

Methods

getNormLog :: a -> NormLog #

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

HasNorm Int #
Instance details Defined in AERN2.Norm Methods getNormLog :: Int -> NormLog #
HasNorm Integer #
Instance details Defined in AERN2.Norm Methods getNormLog :: Integer -> NormLog #
HasNorm Rational #
Instance details Defined in AERN2.Norm Methods getNormLog :: Rational -> NormLog #
HasNorm MPFloat #
Instance details Defined in AERN2.MP.Float.UseRounded.Conversions Methods getNormLog :: MPFloat -> NormLog #
HasNorm Dyadic #
Instance details Defined in AERN2.MP.Dyadic Methods getNormLog :: Dyadic -> NormLog #
HasNorm MPBall #
Instance details Defined in AERN2.MP.Ball.Type Methods getNormLog :: MPBall -> NormLog #
HasNorm t => HasNorm (Complex t) #
Instance details Defined in AERN2.Norm Methods getNormLog :: Complex t -> NormLog #

data NormLog #

Constructors

NormZero	ie NormBits (-infinity)
NormBits Integer

Instances

Eq NormLog #
Instance details Defined in AERN2.Norm Methods (==) :: NormLog -> NormLog -> Bool # (/=) :: NormLog -> NormLog -> Bool #
Ord NormLog #
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 #
Show NormLog #
Instance details Defined in AERN2.Norm Methods showsPrec :: Int -> NormLog -> ShowS # show :: NormLog -> String # showList :: [NormLog] -> ShowS #
CanMinMaxAsymmetric NormLog NormLog #
Instance details Defined in AERN2.Norm Associated Types type MinMaxType NormLog NormLog :: Type # Methods min :: NormLog -> NormLog -> MinMaxType NormLog NormLog # max :: NormLog -> NormLog -> MinMaxType NormLog NormLog #
HasEqAsymmetric NormLog NormLog #
Instance details Defined in AERN2.Norm Associated Types type EqCompareType NormLog NormLog :: Type # Methods equalTo :: NormLog -> NormLog -> EqCompareType NormLog NormLog # notEqualTo :: NormLog -> NormLog -> EqCompareType NormLog NormLog #
HasOrderAsymmetric NormLog NormLog #
Instance details Defined in AERN2.Norm Associated Types type OrderCompareType NormLog NormLog :: Type # 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 #
ConvertibleExactly NormLog Accuracy #
Instance details Defined in AERN2.MP.Accuracy Methods safeConvertExactly :: NormLog -> ConvertResult Accuracy #
type MinMaxType NormLog NormLog #
Instance details Defined in AERN2.Norm type MinMaxType NormLog NormLog = NormLog
type EqCompareType NormLog NormLog #
Instance details Defined in AERN2.Norm type EqCompareType NormLog NormLog = Bool
type OrderCompareType NormLog NormLog #
Instance details Defined in AERN2.Norm type OrderCompareType NormLog NormLog = Bool

invertNormLog :: NormLog -> NormLog #