Modulenon-integral-1.0.0.0Haskell2010

Cardano.Ledger.NonIntegral

Synopsis

value ***
value exp'
value ln'
value findE
value splitLn
value scaleExp
data CompareResult
value taylorExpCmp

Packagenon-integral-1.0.0.0
Exports8
LanguageHaskell2010
LicenceApache-2.0
SourceNonIntegral.hs

value(***) :: (RealFrac a, Enum a, Show a) => a -> a -> a

Source#

Exponentiation

valueexp' :: (RealFrac a, Show a) => a -> a

valueln' :: (RealFrac a, Enum a, Show a) => a -> a

Source#

Compute natural logarithm via continued fraction, first splitting integral part and then using continued fractions approximation for `ln(1+x)`

valuefindE :: RealFrac a => a -> a -> Integer

Source#

find n with `e^n<=x<e^(n+1)`

valuesplitLn :: (RealFrac a, Show a) => a -> (Integer, a)

valuescaleExp :: RealFrac a => a -> (Integer, a)

datadata CompareResult a

Constructors

BELOW a Int
ABOVE a Int
MaxReached Int

Instances2Eq, Show

Eq a => Eq (CompareResult a)Defined in non-integral-1.0.0.0 · Cardano.Ledger.NonIntegral
Show a => Show (CompareResult a)Defined in non-integral-1.0.0.0 · Cardano.Ledger.NonIntegral

valuetaylorExpCmp :: RealFrac a => a -> a -> a -> CompareResult a

Source#

Efficient way to compare the result of the Taylor expansion of the exponential function to a threshold value. Using error estimation one can stop early, once it's known the result will certainly be above or below the target value.