login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T23:02:59-08:00 (9 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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)

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

Category: Axiom Mathematics => Axiom Library




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: