test if a given expression is a q-hypergeometric term
IsQHypergeometricTerm(H, n, q^n=N, R)
function of q^n, algebraic expression
name used as the parameter q, usually q
(optional) name; assigned the computed certificate
The IsQHypergeometricTerm(H,n,q^n=N,R) command returns true if H is a q-hypergeometric term of q^n. Otherwise, it returns false.
A function H is q-hypergeometric of q^n if H⁡qn+1H⁡qn=R⁡qn, a rational function of q^n. R⁡qn is the certificate of H⁡qn. If the fourth optional argument is included, it is assigned the certificate R⁡N=R⁡qn.
This implementation is mainly based on the implementation by H. Boeing and W. Koepf. See the References section.
T ≔ qn−1⁢QPochhammer⁡a,q,n⁢∏k=0n−1q4⁢qk+1qn2
T ≔ QBrackets⁡n2,q
Boeing, H., and Koepf, W. "Algorithms for q-hypergeometric summation in computer algebra." Journal of Symbolic Computation. Vol. 11. (1999): 1-23.
Download Help Document
What kind of issue would you like to report? (Optional)