The IsQHypergeometricTerm(H,n,q^n=N,R) command returns true if  is a q-hypergeometric term of q^n. Otherwise, it returns false.

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

This implementation is mainly based on the implementation by H. Boeing and W. Koepf. See the References section.

Boeing, H., and Koepf, W. "Algorithms for q-hypergeometric summation in computer algebra." Journal of Symbolic Computation. Vol. 11. (1999): 1-23.