Let $n=\[\mathrm{n1},\mathrm{n2},...\]$, $p=\mathrm{nops}\left(n\right)$, $d=\[\mathrm{d1},\mathrm{d2},...\]$ and $q=\mathrm{nops}\left(d\right)$. The hypergeom(n, d, z) calling sequence is the generalized hypergeometric function $F\left(n\,d\,z\right)$. This function is frequently denoted by $\mathrm{pFq}\left(n\,d\,z\right)$.

Formally, $F\left(n\,d\,z\right)$ is defined by the series

For the definition of the $\mathrm{pochhammer}$ symbol, see pochhammer.

If some $n_i$ is a non-positive integer, the series is finite (that is, $F\left(n\,d\,z\right)$ is a polynomial in $z$).

If some $d_j$ is a non-positive integer, the function is undefined for all non-zero $z$, unless there is also a negative upper parameter of smaller or equal absolute value, in which case the previous rule applies.

For the remainder of this description, assume no $n_i$ or $d_j$ is a non-positive integer.

When $p\le q$, this series converges for all complex $z$, and hence defines $F\left(n\,d\,z\right)$ everywhere.

When $p=q+1$, the series converges for $\&verbar;z\&verbar;<1$. $F\left(n\&comma;d\&comma;z\right)$ is then defined for $\&verbar;z\&verbar;>=1$ by analytic continuation.  The point $z=1$ is a branch point, and the interval (1,infinity) is the branch cut.

When $q+1<p$ the hypergeometric series diverges for all $z\ne 0$ unless it is a polynomial (i.e. the function has nonpositive integers in the first list of parameters). In this case, the hypergeometric function can be defined as the analytic continuation of the (customarily undefined) hypergeometric series through a contour integral (see DLMF (16.5.1)). In this event, the formal hypergeometric series is the asymptotic expansion of the contour integral when z goes to 0 in a restricted sector of the complex plane. The positive real axis is the branch cut. This is analogous to perform the summation with the sum command and the option formal for resummation of divergent series (see sum, details). To compute with the customary behavior where the hypergeometric series and the hypergeometric function are considered divergent when $q+1<p$, assign the variable _EnvFormal to false (see example at the end).

%hypergeom is the inert form of hypergeom (that is, it returns unevaluated because it is the inert form of this function). Use value to evaluate a call to %hypergeom, or evalf to compute a floating-point approximate value.  See also simplify and convert/StandardFunctions.

$\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\right]\&comma;z\right)$

$\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\right]\&comma;z\right)$

$\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\right]\&comma;\mathrm{\pi }\right)$

$\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\right]\&comma;\mathrm{\pi }\right)$

$\mathrm{hypergeom}\left(\left[a\right]\&comma;\left[\right]\&comma;z\right)$

$\mathrm{hypergeom}\left(\left[a\right]\&comma;\left[\right]\&comma;z\right)$

$\mathrm{hypergeom}\left(\left[1\&comma;2\right]\&comma;\left[2\&comma;3\right]\&comma;z\right)$

$\mathrm{hypergeom}\left(\left[1\right]\&comma;\left[3\right]\&comma;z\right)$

$\mathrm{evalf}\left(\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\right]\&comma;\mathrm{\pi }\right)\right)=\mathrm{evalf}\left(\exp \left(\mathrm{\pi }\right)\right)$

$23.14069264=23.14069264$

$\mathrm{hypergeom}\left(\left[1\&comma;1\right]\&comma;\left[\frac{1}{2}\right]\&comma;0.6+1.\mathrm{I}\right)$

$\mathrm{-0.7108888111}+0.9936207217\mathrm{I}$

$\mathrm{simplify}\left(z\mathrm{hypergeom}\left(\left[\right]\&comma;\left[\frac{3}{2}\right]\&comma;-\frac{z^2}{4}\right)\&comma;\mathrm{hypergeom}\right)$

$\sin \left(z\right)$

$\mathrm{simplify}\left(\mathrm{hypergeom}\left(\left[a\right]\&comma;\left[\right]\&comma;z\right)\&comma;\mathrm{hypergeom}\right)$

${\left(1-z\right)}^{-a}$

$\mathrm{\%hypergeom}\left(\left[1\&comma;2\right]\&comma;\left[2\&comma;3\right]\&comma;z\right)$

$\mathrm{hypergeom}\left(\left[1\&comma;2\right]\&comma;\left[2\&comma;3\right]\&comma;z\right)$

$\mathrm{value}\left(\right)$

$\mathrm{hypergeom}\left(\left[1\right]\&comma;\left[3\right]\&comma;z\right)$

$\mathrm{hypergeom}\left(\left[\frac{3}{10}\&comma;\frac{3}{2}\right]\&comma;\left[\right]\&comma;-\frac{1}{5}\right)$

$\mathrm{hypergeom}\left(\left[\frac{3}{10}\&comma;\frac{3}{2}\right]\&comma;\left[\right]\&comma;-\frac{1}{5}\right)$

$\mathrm{Sum}\left(\frac{\mathrm{pochhammer}\left(\frac{3}{10}\&comma;n\right)\mathrm{pochhammer}\left(\frac{3}{2}\&comma;n\right){\left(-\frac{1}{5}\right)}^n}{n!}\&comma;n=0..\mathrm{\infty }\right)$

$\sum _{n=0}^{\mathrm{\infty }}\frac{\mathrm{pochhammer}\left(\frac{3}{10}\&comma;n\right)\mathrm{pochhammer}\left(\frac{3}{2}\&comma;n\right){\left(-\frac{1}{5}\right)}^n}{n!}$

$\mathrm{evalf}\left(\right)=\mathrm{evalf}\left(\right)$

$0.9298279399=0.9298279399$

$\mathrm{forget}\left(\mathrm{evalf}\right)$

$\mathrm{\_EnvFormal}≔\mathrm{false}$

$\mathrm{\_EnvFormal}≔\mathrm{false}$

$\mathrm{evalf}\left(\right)$

$Float\left(\mathrm{\infty }\right)+Float\left(\mathrm{\infty }\right)\mathrm{I}$