test if a given expression is a hypergeometric term
IsHypergeometricTerm(H, n, certificate)
function of n
(optional) name; assigned the computed certificate
The IsHypergeometricTerm(H,n) command returns true if H⁡n is a hypergeometric term of n. Otherwise, it returns false.
A function H is hypergeometric of n if H⁡n+1H⁡n=R⁡n, a rational function of n. R⁡n is the certificate of H⁡n. If the third optional argument is included, it is assigned the certificate R⁡n.
H ≔ n2−1⁢3⁢n+1!n+3!⁢2⁢n+7!
Download Help Document
What kind of issue would you like to report? (Optional)