This bug originates from Maxima: if you evaluate
sum(binomial(1,n),n,0,oo)
then it returns
from sage.calculus.calculus import symbolic_sum
symbolic_sum(binomial(1,n),n,0,oo)
which calls
maxima_calculus.sr_sum(binomial(1,n),n,0,oo)
which returns
from sage.interfaces.maxima_lib import max_to_sr, maxima_eval, max_ratsimp, max_simplify_sum, max_sum, sr_to_max
args = [binomial(1,n), n, 0, oo]
max_to_sr(maxima_eval([[max_ratsimp],[[max_simplify_sum],([max_sum],[sr_to_max(SR(a)) for a in args])]]))
Indeed we can see the bug in Maxima's simplify_sum:
(%i1) load("simplify_sum");
(%i2) simplify_sum(sum(binomial(1,n),n,0,inf));
(%o2) 3
I reported it upstream at Maxima, simplify_sum(sum(binomial(1,n),n,0,inf)) gives 3 instead of 2, and it is now tracked as trac ticket #27092.
If an answer solves your question, please accept it by clicking the "accept" button (the one with a check mark, at the top left of the answer).
This will mark the question as solved in the Ask Sage's list of questions, as well as in lists of questions related to a particular query or keyword.
Asked: 2019-01-22 18:38:13 +0100
Seen: 799 times
Last updated: Jan 22 '19
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
