read `WZpairs.txt`:


print(`For the kernel`, (-1)^k*n!*k!/(n+k+1)!/x^k/(1+x)^(n+1), `a base for compatible WZ pairs with degree 1 is`):;

lu:=WZpairs((-1)^k*n!*k!/(n+k+1)!/x^k/(1+x)^(n+1),n,k,1):

print(lu):

print(``):
print(`and in Maple format`):
print(``):

lprint(lu):
print(``):
print(`------------------------------------------`):
print(``):


print(`For the kernel`,(-1)^(n+k)*k!^2*(n-k-1)!/(n+k+1)!/(n+1), `a base for compatible WZ pairs with degree 1 is`):;


lu:=WZpairs((-1)^(n+k)*k!^2*(n-k-1)!/(n+k+1)!/(n+1),n,k,1):

print(lu):

print(``):
print(`and in Maple format`):
print(``):

lprint(lu):
print(``):
print(`------------------------------------------`):
print(``):



print(`For the kernel`, (-1)^(k)*k!^2*(n-k-1)!/(n+k+1)!/(n+1)^2/(k+1), `a base for compatible WZ pairs with degree 3 is`):;


lu:=WZpairs((-1)^(k)*k!^2*(n-k-1)!/(n+k+1)!/(n+1)^2/(k+1),n,k,3);

print(lu):

print(``):
print(`and in Maple format`):
print(``):

lprint(lu):
print(``):
print(`------------------------------------------`):
print(``):









quit: