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 1 of 2

	1 2
Editor: Time: 2007/11/17 23:02:59 GMT-8
Note: cannot be handled by Gosper

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

Why doesn't package RationalFunctionSum handle this?

From VladimirBondarenko Sun Jan 30 07:34:06 -0600 2005
From: Vladimir Bondarenko
Date: Sun, 30 Jan 2005 07:34:06 -0600
Subject: 
Message-ID: <20050130073406-0600@page.axiom-developer.org>

Even worse,

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

returns unevaluated while this is obviously

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

From kratt6 Mon Jan 31 11:34:25 -0600 2005
From: kratt6
Date: Mon, 31 Jan 2005 11:34:25 -0600
Subject: 
Message-ID: <20050131113425-0600@page.axiom-developer.org>

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

From kratt6 Sat Apr 16 12:56:21 -0500 2005
From: kratt6
Date: Sat, 16 Apr 2005 12:56:21 -0500
Subject: cannot be handled by Gosper
Message-ID: <20050416125621-0500@page.axiom-developer.org>

Status: open => closed

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