compute closed forms of indefinite sums of hypergeometric terms
Hypergeometric(f, k, opt)
hypergeometric term in k
(optional) equation of the form failpoints=true or failpoints=false
The Hypergeometric(f, k) command computes a closed form of the indefinite sum of f with respect to k.
The following algorithms are used to handle indefinite sums of hypergeometric terms (see the References section):
Koepf's extension to Gosper's algorithm, and
the algorithm to compute additive decompositions of hypergeometric terms developed by Abramov and Petkovsek.
If the option failpoints=true (or just failpoints for short) is specified, then the command returns a pair s,p,q, where s is the closed form of the indefinite sum of f w.r.t. k, as above, and p,q are lists of points where f does not exist or the computed sum s is undefined or improper, respectively (see SumTools[IndefiniteSum][Indefinite] for more detailed help).
The command returns FAIL if it is not able to compute a closed form.
The points where the telescoping equation fails:
Error, numeric exception: division by zero
Koepf's extension to Gosper's algorithm:
Abramov and Petkovsek's algorithm (note that the specified summand is not hypergeometrically summable):
Error, (in SumTools:-Hypergeometric:-Gosper) no solution found
Abramov, S.A., and Petkovsek, M. "Rational Normal Forms and Minimal Decompositions of Hypergeometric Terms." Journal of Symbolic Computing. Vol. 33. (2002): 521-543.
Gosper, R.W., Jr. "Decision Procedure for Indefinite Hypergeometric Summation." Proceedings of the National Academy of Sciences USA. Vol. 75. (1978): 40-42.
Koepf, W. Hypergeometric Summation: An Algorithmic Approach to Summation and Special Function Identities. Braunschweig, Germany: Vieweg, 1998.
Abramov, S.A. and Petkovsek, M. "Gosper's Algorithm, Accurate Summation, and the discrete Newton-Leibniz formula." Proceedings ISSAC'05. (2005): 5-12.
Download Help Document
What kind of issue would you like to report? (Optional)