Opened 10 years ago

Closed 8 years ago

#13712 closed defect (fixed)

wrong evaluation of infinite sum

Reported by: Burcin Erocal Owned by: Burcin Erocal
Priority: major Milestone: sage-6.3
Component: symbolics Keywords: maxima
Cc: Merged in:
Authors: Travis Scrimshaw Reviewers: Jeroen Demeyer, Karl-Dieter Crisman
Report Upstream: N/A Work issues: add doctest
Branch: 6e7166a (Commits, GitHub, GitLab) Commit: 6e7166a97e56ed09a205873294aff31655e9a7fc
Dependencies: #13973 Stopgaps:

Status badges

Description

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

Change History (17)

comment:1 Changed 10 years ago by Karl-Dieter Crisman

Report Upstream: N/AReported upstream. No feedback yet.

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

comment:2 Changed 9 years ago by Jeroen Demeyer

Reviewers: Jeroen Demeyer
Status: newneeds_review

Fixed in Maxima 5.30.0: #13973.

comment:3 Changed 9 years ago by Jeroen Demeyer

Report Upstream: Reported upstream. No feedback yet.Fixed upstream, in a later stable release.
Status: needs_reviewpositive_review

comment:4 Changed 9 years ago by Jeroen Demeyer

Milestone: sage-5.10sage-5.11

comment:5 Changed 9 years ago by Jeroen Demeyer

Status: positive_reviewneeds_work

Should add doctest.

comment:6 Changed 9 years ago by Jeroen Demeyer

Milestone: sage-5.11sage-5.12

comment:7 Changed 9 years ago by For batch modifications

Milestone: sage-6.1sage-6.2

comment:8 Changed 8 years ago by For batch modifications

Milestone: sage-6.2sage-6.3

comment:9 Changed 8 years ago by Peter Bruin

Dependencies: #13973
Report Upstream: Fixed upstream, in a later stable release.N/A
Work issues: add doctest

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

comment:10 Changed 8 years ago by Travis Scrimshaw

Authors: Travis Scrimshaw
Branch: public/ticket/inf_sum_doctest-13712
Commit: 6e7166a97e56ed09a205873294aff31655e9a7fc
Status: needs_workneeds_review

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


New commits:

6e7166aAdded doctest for ticket.

comment:11 Changed 8 years ago by Karl-Dieter Crisman

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.

comment:12 Changed 8 years ago by Travis Scrimshaw

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

comment:13 in reply to:  12 Changed 8 years ago by Karl-Dieter Crisman

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.

comment:14 Changed 8 years ago by Travis Scrimshaw

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).

comment:15 Changed 8 years ago by Karl-Dieter Crisman

Reviewers: Jeroen DemeyerJeroen Demeyer, Karl-Dieter Crisman
Status: needs_reviewpositive_review

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

comment:16 Changed 8 years ago by Travis Scrimshaw

Thanks. Sorry about mixing my git commands up!

comment:17 Changed 8 years ago by Volker Braun

Branch: public/ticket/inf_sum_doctest-137126e7166a97e56ed09a205873294aff31655e9a7fc
Resolution: fixed
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.