help links subscribe changes refresh edit

	IssueTracker
#81 French error message when building SPLTREE ←	↑	→ #83 Bug 5977 1::DMP([x],FRAC INT)::POLY FRAC INT ==> 0

#82 Sum should be evaluated by Gosper's method, but isn't

Edit detail for #82 Sum should be evaluated by Gosper's method, but isn't revision 2 of 2

	1 2
Editor: kratt6 Time: 2007/12/28 14:56:15 GMT-8
Note:

added:

From kratt6 Fri Dec 28 14:56:15 -0800 2007
From: kratt6
Date: Fri, 28 Dec 2007 14:56:15 -0800
Subject: 
Message-ID: <20071228145615-0800@axiom-wiki.newsynthesis.org>

Category: Axiom Mathematics => Axiom Library

sum(1/(k*(k+a)), k=1..n) is returned unevaluated

Why doesn't package RationalFunctionSum? handle this?

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

Even worse,

-> sum(1/(k+a), k=1..n)

returns unevaluated while this is obviously

digamma(n+a+1)-digamma(a+1)

... --kratt6, Mon, 31 Jan 2005 11:34:25 -0600 reply

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

cannot be handled by Gosper --kratt6, Sat, 16 Apr 2005 12:56:21 -0500 reply

Status: open => closed

... --kratt6, Fri, 28 Dec 2007 14:56:15 -0800 reply

Category: Axiom Mathematics => Axiom Library