Let F be a hypergeometric term in n and k. The IsZApplicable(F, n, k, En, 'Zpair') command determines the applicability of Zeilberger's algorithm to F. It returns true if Zeilberger's algorithm is applicable to F. Otherwise, it returns false.

If Zeilberger's algorithm is applicable to the function F and the fourth and the fifth optional arguments are specified, the fifth argument 'Zpair' is assigned the computed Z-pair $L,G$ for F.

If the input F is not a rational function of n and k, IsZApplicable returns FAIL. In this case, if the optional arguments En and 'Zpair' are specified, Zeilberger(F, n, k, En) is called. If it succeeds in finding a Z-pair for F, the computed Z-pair is assigned to 'Zpair'.

$\mathrm{with}\left(\mathrm{SumTools}\left[\mathrm{Hypergeometric}\right]\right)\:$

$F≔\frac{1}{nk+n+1}\mathrm{binomial}\left(n\,k+1\right)+\frac{nk-2k-n+2}{n^{2}k+2n{k}^2-nk+2k+n-1}\mathrm{binomial}\left(n\,k\right)$

$F≔\frac{\left(\genfrac{}{}{0ex}{}{n}{k+1}\right)}{nk+n+1}+\frac{\left(nk-2k-n+2\right)\left(\genfrac{}{}{0ex}{}{n}{k}\right)}{2n{k}^2+n^{2}k-nk+2k+n-1}$

$\mathrm{IsProperHypergeometricTerm}\left(F\,n\,k\right)$

$\mathrm{false}$

$\mathrm{IsZApplicable}\left(F\,n\,k\right)$

$\mathrm{true}$

$F≔\frac{{\left(-1\right)}^k\cdot 1}{nk+1}\mathrm{binomial}\left(n+1\,k\right)\mathrm{binomial}\left(2n-2k-1\,n-1\right)$

$F≔\frac{{\left(\mathrm{-1}\right)}^k\left(\genfrac{}{}{0ex}{}{n+1}{k}\right)\left(\genfrac{}{}{0ex}{}{2n-2k-1}{n-1}\right)}{nk+1}$

$\mathrm{IsProperHypergeometricTerm}\left(F\,n\,k\right)$

$\mathrm{false}$

$\mathrm{IsZApplicable}\left(F\,n\,k\right)$

$\mathrm{false}$

$F≔\frac{1}{n^2+3nk-2n-10k^2+11k-3}$

$F≔\frac{1}{-10k^2+3nk+n^2+11k-2n-3}$

$\mathrm{IsZApplicable}\left(F\,n\,k\,\mathrm{En}\,'\mathrm{Zpair}'\right)$

$\mathrm{true}$

$L≔\mathrm{Zpair}\left[1\right]$

$L≔\left(-7n-41\right){\mathrm{En}}^6+\left(-7n-34\right){\mathrm{En}}^5+\mathrm{En}\left(6+7n\right)-1+7n$

$G≔\mathrm{Zpair}\left[2\right]$

$G≔\frac{\left(\frac{5600k^6}{6+7n}-\frac{1440\left(7n+45\right)k^5}{6+7n}+\frac{40\left(154n^2+2230n+7399\right)k^4}{6+7n}-\frac{80\left(14n^3+450n^2+3619n+8445\right)k^3}{6+7n}-\frac{30\left(7n^4-40n^3-2079n^2-13900n-26696\right)k^2}{6+7n}+\frac{10\left(7n^5+145n^4+679n^3-2545n^2-25082n-45780\right)k}{6+7n}-\frac{75n^5+1295n^4+7075n^3+7337n^2-44310n-96048}{6+7n}\right)\left(10{\left(k-1\right)}^2-3n\left(k-1\right)-n^2+9k-7-n\right)\left(6+7n\right)}{\left(5k+n-3\right)\left(5k+n-2\right)\left(2k-n-3\right)\left(-4+2k-n\right)\left(-5+2k-n\right)\left(-6+2k-n\right)\left(-7+2k-n\right)\left(-10k^2+3nk+n^2+11k-2n-3\right)}$

$\mathrm{Verify}\left(F\,\mathrm{Zpair}\,n\,k\,\mathrm{En}\right)$

$\mathrm{true}$

Abramov, S.A. "Applicability of Zeilberger's Algorithm to Hypergeometric Terms." Proceedings ISSAC'2002, pp. 1-7. ACM Press, 2002.

Abramov, S.A., and Le, H.Q. "Applicability of Zeilberger's Algorithm to Rational Functions." Proceedings FPSAC'2000, pp. 91-102. Springer-Verlag LNCS, 2000.