Copyright | (c) Michal Konecny |
---|---|
License | BSD3 |
Maintainer | mikkonecny@gmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
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
HasNorm Int Source # | |
Defined in AERN2.Norm Methods getNormLog :: Int -> NormLog Source # | |
HasNorm Integer Source # | |
Defined in AERN2.Norm Methods getNormLog :: Integer -> NormLog Source # | |
HasNorm Rational Source # | |
Defined in AERN2.Norm Methods getNormLog :: Rational -> NormLog Source # | |
HasNorm MPFloat Source # | |
Defined in AERN2.MP.Float.Type Methods getNormLog :: MPFloat -> NormLog Source # | |
HasNorm Dyadic Source # | |
Defined in AERN2.MP.Dyadic Methods getNormLog :: Dyadic -> NormLog Source # | |
HasNorm MPBall Source # | |
Defined in AERN2.MP.Ball.Type Methods getNormLog :: MPBall -> NormLog Source # | |
HasNorm t => HasNorm (Complex t) Source # | |
Defined in AERN2.Norm Methods getNormLog :: Complex t -> NormLog Source # |
Instances
invertNormLog :: NormLog -> NormLog Source #