The SumTools[Hypergeometric] subpackage provides tools for finding closed forms of definite and indefinite sums of hypergeometric type. It can also be used for certifying and proving combinatorial identities. The subpackage consists of three main components:

- Normal forms of rational functions and of hypergeometric terms: MultiplicativeDecomposition, PolynomialNormalForm, RationalCanonicalForm, SumDecomposition

- Algorithms for definite and indefinite sums of hypergeometric type: ExtendedGosper, ExtendedZeilberger, Gosper, IsZApplicable, KoepfGosper, KoepfZeilberger, LowerBound, MinimalZpair, Zeilberger, ZeilbergerRecurrence, ZpairDirect

- Applications: DefiniteSum, IndefiniteSum, WZMethod

Other commands that deal with hypergeometric terms include: AreSimilar, ConjugateRTerm, EfficientRepresentation, IsHolonomic, IsHypergeometricTerm, IsProperHypergeometricTerm, RegularGammaForm, Verify

Each command in the SumTools[Hypergeometric] subpackage can be accessed by using either the long form or the short form of the command name in the command calling sequence.

Since the underlying implementation of the SumTools[Hypergeometric] subpackage is a module, it is also possible to use the form SumTools:-Hypergeometric:-command or SumTools[Hypergeometric]:-command to access a command. For more information, see Module Members.

The following is a list of available commands.

To display the help page for a particular Hypergeometric command, see Getting Help with a Command in a Package.

Abramov, S.A.; Geddes, K.O.; and Le, H.Q. "Computer Algebra Library for the Construction of the Minimal Telescopers." Proceedings of ICMS'2002, pp. 319-329. World Scientific, 2002.

Le, H.Q.; Abramov, S.A.; and Geddes, K.O. "HypergeometricSum: A Maple Package for Finding Closed Forms of Indefinite and Definite Sums of Hypergeometric Type." Technical Report CS-2001-24. Ontario: Department of Computer Science, University of Waterloo, 2001.