SumTools[Hypergeometric][WZMethod] - perform Wilf-Zeilberger's algorithm
|
Calling Sequence
|
|
WZMethod(f,r,n,k,cert)
|
|
Parameters
|
|
f
|
-
|
function of n and k
|
r
|
-
|
function of n
|
n
|
-
|
variable
|
k
|
-
|
variable
|
cert
|
-
|
(optional) name; assigned the computed WZ certificate
|
|
|
|
|
Description
|
|
•
|
The WZMethod(f,r,n,k,cert) command certifies identities of the form .
|
•
|
If the method is successful and if the fifth optional argument cert is given, cert is assigned the WZ certificate .
|
|
|
Examples
|
|
>
|
|
Proof of Gauss's 2F1 identity:
>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
>
|
|
| (3) |
>
|
|
| (4) |
>
|
|
| (5) |
Proof of Dixon's identity:
>
|
|
| (6) |
>
|
|
| (7) |
>
|
|
>
|
|
| (8) |
>
|
|
| (9) |
>
|
|
| (10) |
|
|
References
|
|
|
Wilf, H., and Zeilberger, D. "Rational function certify combinatorial identities." J. Amer. Math. Soc. Vol. 3. (1990): 147-158.
|
|
|
Download Help Document
Was this information helpful?