SumTools[Hypergeometric][KoepfGosper] - indefinite summation of j-fold hypergeometric terms
|
Calling Sequence
|
|
KoepfGosper(T, n)
|
|
Parameters
|
|
T
|
-
|
hypergeometric term in n
|
n
|
-
|
name; specifies summation index
|
|
|
|
|
Description
|
|
•
|
The parameter T is a j-fold hypergeometric term in n if is a rational function in n.
|
|
|
Examples
|
|
>
|
|
>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
| (3) |
Note that T is not a hypergeometric term in n. Hence, Gosper's algorithm is not applicable to T.
|
|
References
|
|
|
Koepf, W. "Algorithms for m-fold Hypergeometric Summation." Journal of Symbolic Computation. Vol. 20 No. 4. (1995): 399-417.
|
|
Koepf, W. Hypergeometric Summation: An Algorithmic Approach to Summation and Special Function Identities. Braunschweig, Germany: Vieweg, 1998.
|
|
|
Download Help Document
Was this information helpful?