| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Math.HypergeoMatrix
Synopsis
- hypergeomat :: forall a. (Eq a, Fractional a, BaseFrac a) => Int -> BaseFracType a -> [a] -> [a] -> [a] -> IO a
- type GaussianRational = Cyclotomic
- (+:) :: Rational -> Rational -> GaussianRational
Documentation
Arguments
| :: forall a. (Eq a, Fractional a, BaseFrac a) | |
| => Int | truncation weight |
| -> BaseFracType a | alpha parameter (usually 2) |
| -> [a] | upper parameters |
| -> [a] | lower parameters |
| -> [a] | variables (the eigenvalues) |
| -> IO a |
Hypergeometric function of a matrix argument. Actually the matrix argument is given by the eigenvalues of the matrix. For a type `a` of real numbers, `BaseFracType a = a`. If `a = Complex b` is a type of complex numbers, then `BaseFracType a = b`. Thus the `alpha` parameter cannot be a complex number.
type GaussianRational = Cyclotomic Source #