read AperyWZ: print(`If you type :`): print(` zeilWZPv(binomial(n,k)*binomial(n+k,k),WZlog2,k,n,N); `): print(`you would get:`): zeilWZPv(binomial(n,k)*binomial(n+k,k),WZlog2,k,n,N); print(`If you type :`): print(` zeilWZPv(binomial(n,k)^2*binomial(n+k,k),WZzeta2,k,n,N); `): print(`you would get:`): zeilWZPv(binomial(n,k)^2*binomial(n+k,k),WZzeta2,k,n,N): print(`If you type :`): print(` zeilWZPv(binomial(n,k)^2*binomial(n+k,k)^3,WZzeta3,k,n,N); `): print(`you would get:`): zeilWZPv(binomial(n,k)^2*binomial(n+k,k)^2,WZzeta3,k,n,N): print(``): print(`If you type : gu:=WZchu(n,k,0,0,0,n);`): print(`you would get:`): gu:=WZchu(n,k,0,0,0,n): print(gu): print(`To use this WZ-pair to get a summation-acceleration formula`): print(`type: lu:=Acc(gu,k,n);`): lu:=Acc(gu,k,n): print(lu): print(`This means that that the sum of`, lu[1], `from n=1 to infinity`): print(`equals`): print(` the sum of`, lu[2], `from n=1 to infinity`): print(`To check this automatically (and rigorously) dervied acceleration-`): print(`convergence formula, type: CheckAcc(lu,n,30); `): print(CheckAcc(lu,n,30)): print(`which should be small`): print(``): print(`If you type : gu:=WZchu(n,k,0,0,0,4*n);`): print(`you would get:`): gu:=WZchu(n,k,0,0,0,4*n): print(gu): print(`To use this WZ-pair to get a summation-acceleration formula`): print(`type: lu:=Acc(gu,k,n);`): lu:=Acc(gu,k,n): print(lu): print(`This means that that the sum of`, lu[1], `from n=1 to infinity`): print(`equals`): print(` the sum of`, lu[2], `from n=1 to infinity`): print(`To check this automatically (and rigorously) dervied acceleration-`): print(`convergence formula, type: CheckAcc(lu,n,30); `): print(CheckAcc(lu,n,30)): print(`which should be small`): #quit: