- class (Floating a, Factorial a) => Gamma a where
- gamma :: a -> a
- lnGamma :: a -> a
- lnFactorial :: Integral b => b -> a
- class Num a => Factorial a where
- class Gamma a => IncGamma a where
- lowerGamma :: a -> a -> a
- lnLowerGamma :: a -> a -> a
- p :: a -> a -> a
- upperGamma :: a -> a -> a
- lnUpperGamma :: a -> a -> a
- q :: a -> a -> a
Documentation
class (Floating a, Factorial a) => Gamma a whereSource
The gamma function: gamma z == integral from 0 to infinity of
t -> t**(z-1) * exp (negate t)
Natural log of the gamma function
lnFactorial :: Integral b => b -> aSource
Natural log of the factorial function
class Gamma a => IncGamma a whereSource
Incomplete gamma functions.
lowerGamma :: a -> a -> aSource
Lower gamma function: lowerGamma s x == integral from 0 to x of
t -> t**(s-1) * exp (negate t)
lnLowerGamma :: a -> a -> aSource
Natural log of lower gamma function
Regularized lower incomplete gamma function: lowerGamma s x / gamma s
upperGamma :: a -> a -> aSource
Upper gamma function: lowerGamma s x == integral from x to infinity of
t -> t**(s-1) * exp (negate t)
lnUpperGamma :: a -> a -> aSource
Natural log of upper gamma function
Regularized upper incomplete gamma function: upperGamma s x / gamma s