The IsHypergeometricTerm(H,n) command returns true if  is a hypergeometric term of n. Otherwise, it returns false.

A function H is hypergeometric of n if , a rational function of n.  is the certificate of . If the third optional argument is included, it is assigned the certificate .