Ask Your Question
1

Sage incorrectly evaluates series

asked 2016-12-01 09:50:57 +0100

proy87 gravatar image

updated 2023-01-10 02:26:59 +0100

tmonteil gravatar image

It incorrectly evaluates $\displaystyle\sum_{n=0}^{\infty}\frac{1}{((2n+1)^2-4)^2}=\frac{\pi^2}{64}-\frac{1}{12}$, but correct answer is $\displaystyle\frac{\pi^2}{64}$

edit retag flag offensive close merge delete

Comments

Thanks for reporting !

tmonteil gravatar imagetmonteil ( 2016-12-01 14:57:47 +0100 )edit

1 Answer

Sort by » oldest newest most voted
2

answered 2016-12-01 12:57:01 +0100

Sébastien gravatar image

updated 2016-12-01 13:25:10 +0100

Indeed:

sage: n = var('n')
sage: sum(1/((2*n+1)^2-4)^2, n, 0, Infinity)
1/64*pi^2 - 1/12

See ticket #22005. Mathematica does it correctly:

sage: sum(1/((2*n+1)^2-4)^2, n, 0, Infinity, algorithm='mathematica')
1/64*pi^2

Giac gives this:

sage: sum(1/((2*n+1)^2-4)^2, n, 0, Infinity, algorithm='giac')
1/32*Psi(-1/2, 1) - 1/8

And SymPy seems to do it correctly:

sage: from sympy.abc import n
sage: from sympy import summation, oo
sage: A = summation(1/((2*n+1)^2-4)^2, (n, 0, oo))
sage: A._sage_()
1/64*pi^2

I created ticket #22004 so that one can do:

sage: sum(1/((2*n+1)^2-4)^2, n, 0, Infinity, algorithm='sympy')
1/64*pi^2
edit flag offensive delete link more

Comments

Thanks! We should also file an upstream bug report at Maxima - can you do that as well?

kcrisman gravatar imagekcrisman ( 2016-12-01 13:26:30 +0100 )edit

I do not not have a account on the sourgeforge of maxima. Also I do not have access to version latest version 5.38. If possible, I will let somebody else do the upstream bug report.

Sébastien gravatar imageSébastien ( 2016-12-01 13:55:09 +0100 )edit

Thanks for the ticket !

tmonteil gravatar imagetmonteil ( 2016-12-01 14:59:13 +0100 )edit

This may actually be https://sourceforge.net/p/maxima/bugs... which is apparently fixed in upstream.

kcrisman gravatar imagekcrisman ( 2016-12-01 15:04:19 +0100 )edit

I've got ValueError: Mathematica cannot make sense of input sum(1/((2*x+1)^2-4)^2,x,0,Infinity, algorithm='mathematica')

proy87 gravatar imageproy87 ( 2016-12-01 16:11:02 +0100 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2016-12-01 09:50:57 +0100

Seen: 740 times

Last updated: Dec 01 '16