The Hypergeometric Series

For more information on the Hypergeometric Series, see [Hus87], page 176.

HypergeometricSeries(a,b,c, z) : RngElt, RngElt, RngElt, RngElt -> RngElt

Return the hypergeometric series F(a, b, c;z) defined by F(a, b, c;z) = ∑_0≤n (((a)_n(b)_n)/(n!(c)_n) zⁿ) where (a)_n = a (a + 1) ... (a + n - 1).