SumTools[Hypergeometric][ExtendedZeilberger] - construct a minimal Z-pair
|
Calling Sequence
|
|
ExtendedZeilberger(V, n, k, En)
|
|
Parameters
|
|
V
|
-
|
definite sum of hypergeometric term
|
n
|
-
|
name
|
k
|
-
|
name
|
En
|
-
|
name denoting the shift operator with respect to n
|
|
|
|
|
Description
|
|
•
|
It can be shown that a Z-pair for exists if and only if a Z-pair for the hypergeometric term exists.
|
|
|
Examples
|
|
>
|
|
>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
| (3) |
>
|
|
| (4) |
>
|
|
| (5) |
Try the Maple command sum:
>
|
|
| (6) |
|
|
References
|
|
|
Le, H.Q. "Computing the Minimal Telescoper for Sums of Hypergeometric Terms." SIGSAM Bulletin: Communications on Computer Algebra. Vol. 35 No. 3. (2001): 2-10.
|
|
|
Download Help Document
Was this information helpful?