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 ≔ qn−1⁢QDifferenceEquations:-QPochhammer⁡a,q,n⁢∏k=0n−1q4⁢qk+1qn2
T ≔ QBrackets⁡n2,q
T ≔ QDifferenceEquations:-QBrackets⁡12⁢n,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)
Thank you for submitting feedback on this help document. Your feedback will be used
to improve Maple's help in the future.