sum(1/(k*(k+a)), k=1..n) is returned unevaluated Why doesn't package RationalFunctionSum? handle this? -> sum(1/(k+a), k=1..n) returns unevaluated while this is obviously digamma(n+a+1)-digamma(a+1) Both sums do not have a hypergeometric solution, it seems to me. I tried Gosper by hand for the first one to find that Gosper fails. Am I mistaken?Martin Status: open => closed Category: Axiom Mathematics => Axiom Library |

...--Vladimir Bondarenko, Sun, 30 Jan 2005 07:34:06 -0600 reply