wrong evaluation of infinite sum

[burcin]

From this ask.sagemath.org question:

sage: n = var('n')
sage: sum(1/((2*n-1)^2*(2*n+1)^2*(2*n+3)^2), n, 0, oo)
3/256*pi^2 - 1/32

The correct answer is 3/256*pi^2.

We should report this to maxima:

(%i10) load(simplify_sum);
(%o10) /tmpbig/burcin/sage-5.4/local/share/maxima/5.26.0/share/contrib/solve_r\
ec/simplify_sum.mac
(%i11) simplify_sum(sum(1/((2*n-1)^2*(2*n+1)^2*(2*n+3)^2), n, 0, inf));

                                          2
                                       %pi
                                   2   ---- - 4
                                %pi     2
(%o11)                          ---- + --------
                                128      128

Depends on #13973

Component: symbolics

Keywords: maxima

Work Issues: add doctest

Author: Travis Scrimshaw

Branch/Commit: 6e7166a

Reviewer: Jeroen Demeyer, Karl-Dieter Crisman

Issue created by migration from https://trac.sagemath.org/ticket/13712

[kcrisman]

Upstream: Reported upstream. No feedback yet.

[kcrisman]

comment:1

I can confirm this is true in Maxima 5.28.0 as well. This is now Maxima artifact 3587514.

[jdemeyer]

comment:2

Fixed in Maxima 5.30.0: #13973.

[jdemeyer]

Reviewer: Jeroen Demeyer

[jdemeyer]

Changed upstream from Reported upstream. No feedback yet. to Fixed upstream, in a later stable release.

[jdemeyer]

comment:5

Should add doctest.

[pjbruin]

Changed upstream from Fixed upstream, in a later stable release. to none

[pjbruin]

Dependencies: #13973

[pjbruin]

Work Issues: add doctest

[pjbruin]

comment:9

After #13973:

sage: n = var('n')
sage: sum(1/((2*n-1)^2*(2*n+1)^2*(2*n+3)^2), n, 0, oo)
3/256*pi^2

[tscrim]

Author: Travis Scrimshaw

[tscrim]

comment:10

Done (at least in someplace where I think it's natural...)

---

New commits:

6e7166a

Added doctest for ticket.

[tscrim]

Commit: 6e7166a

[tscrim]

Branch: public/ticket/inf_sum_doctest-13712

[kcrisman]

comment:11

This is not a useful commit, unfortunately, because this depends on #13973 which isn't in 6.3.beta2, as far as I can tell. I just wasted a lot of time discovering this, and I don't have enough git prowess to figure out how to "merge" this into that ticket's tree.

[tscrim]

comment:12

git merge trac u/pbruin/13973-maxima_update or whatever your remote for trac is (the other likely one is origin).

[kcrisman]

comment:13

git merge trac u/pbruin/13973-maxima_update or whatever your remote for trac is (the other likely one is origin).

Apparently my remote is indeed trac but this command doesn't work, nor do I have any idea what the branch is since that ticket seems to have a branch called "a130eed".

Okay, the following sequence worked:

$ git fetch trac refs/heads/u/pbruin/13973-maxima_update:refs/remotes/trac/u/pbruin/13973-maxima_update
$ git merge trac/u/pbruin/13973-maxima_update

This is so frustrating compared to the old system.

[tscrim]

comment:14

Ack sorry, I meant git pull trac u/pbruin/13973-maxima_update (which, in effect, combines those two) (also in case you are unaware, you can also delete the temp branch by git branch -D name/of/branch).

[kcrisman]

comment:15

Okay, finally I got it all working and positive review!

[kcrisman]

Changed reviewer from Jeroen Demeyer to Jeroen Demeyer, Karl-Dieter Crisman

[tscrim]

comment:16

Thanks. Sorry about mixing my git commands up!

[vbraun]

Changed branch from public/ticket/inf_sum_doctest-13712 to 6e7166a