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

Minimal complete definition

getNormLog

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

HasNorm Int Source #
Methods getNormLog :: Int -> NormLog Source #
HasNorm Integer Source #
Methods getNormLog :: Integer -> NormLog Source #
HasNorm Rational Source #
Methods getNormLog :: Rational -> NormLog Source #
HasNorm Dyadic Source #
Methods getNormLog :: Dyadic -> NormLog Source #
HasNorm MPBall Source #
Methods getNormLog :: MPBall -> NormLog Source #
HasNorm t => HasNorm (Complex t) Source #
Methods getNormLog :: Complex t -> NormLog Source #

data NormLog Source #

Constructors

NormZero	ie NormBits (-infinity)
NormBits Integer

Instances

Eq NormLog Source #
Methods (==) :: NormLog -> NormLog -> Bool # (/=) :: NormLog -> NormLog -> Bool #
Ord NormLog Source #
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 Source #
Methods showsPrec :: Int -> NormLog -> ShowS # show :: NormLog -> String # showList :: [NormLog] -> ShowS #
CanMinMaxAsymmetric NormLog NormLog Source #
Associated Types type MinMaxType NormLog NormLog :: * # Methods min :: NormLog -> NormLog -> MinMaxType NormLog NormLog # max :: NormLog -> NormLog -> MinMaxType NormLog NormLog #
HasOrderAsymmetric NormLog NormLog Source #
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 #
HasEqAsymmetric NormLog NormLog Source #
Associated Types type EqCompareType NormLog NormLog :: * # Methods equalTo :: NormLog -> NormLog -> EqCompareType NormLog NormLog # notEqualTo :: NormLog -> NormLog -> EqCompareType NormLog NormLog #
ConvertibleExactly NormLog Accuracy #
Methods safeConvertExactly :: NormLog -> ConvertResult Accuracy #
type MinMaxType NormLog NormLog Source #
type MinMaxType NormLog NormLog = NormLog
type OrderCompareType NormLog NormLog Source #
type OrderCompareType NormLog NormLog = Bool
type EqCompareType NormLog NormLog Source #
type EqCompareType NormLog NormLog = Bool

invertNormLog :: NormLog -> NormLog Source #