|
SumTools[Hypergeometric][IsZApplicable] - test the applicability of Zeilberger's algorithm to hypergeometric terms
|
|
Calling Sequence
|
|
IsZApplicable(F, n, k, En, 'Zpair')
|
|
|
Parameters
|
|
|
F
|
-
|
hypergeometric term in n and k
|
|
n
|
-
|
name
|
|
k
|
-
|
name
|
|
En
|
-
|
(optional) name; denote the shift operator with respect to n
|
|
'Zpair'
|
-
|
(optional) name; assigned computed Z-pair
|
|
|
|
|
|
Description
|
|
|
•
|
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  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'.
|
|
|
|
Examples
|
|
|
>
|
![with(SumTools[Hypergeometric])](/support/helpjp/helpview.aspx?si=5478/file06625/math144.png)
|
In the following example, F is not a proper hypergeometric term. However, Zeilberger's algorithm is applicable to F:
|
>
|
|
|
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
In the following example, F is not a proper hypergeometric term, and Zeilberger's algorithm is not applicable to F either:
|
>
|
|
|
| (4) |
|
>
|
|
|
| (5) |
|
>
|
|
|
| (6) |
The input is a hypergeometric term of n and k.
|
>
|
|
|
| (7) |
|
>
|
|
|
| (8) |
|
>
|
![L := Zpair[1]](/support/helpjp/helpview.aspx?si=5478/file06625/math222.png)
|
|
| (9) |
|
>
|
![G := Zpair[2]](/support/helpjp/helpview.aspx?si=5478/file06625/math229.png)
|
|
| (10) |
|
>
|
|
|
| (11) |
|
|
|
References
|
|
|
|
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.
|
|
|
