#2722 simplify_sum simplifies a bit too aggressively

None
closed
nobody
None
5
2014-07-19
2014-04-17
kcrisman
No

First reported at https://groups.google.com/forum/#!topic/sage-support/qexNzA3iDzE

See downstream report at http://trac.sagemath.org/ticket/16176

(%i1) load(simplify_sum);
(%i9) simplify_sum(sum(1/x^2,x,2,inf));
                                  2
                               %pi    
(%o9)                              ---- - 1
                                6
(%i10) sum(log(1-1/x^2),x,2,inf);
                           inf
                           ====
                           \             1
(%o10)                          >    log(1 - --)
                           /              2
                           ====          x
                           x = 2
(%i11) simplify_sum(sum(log(1-1/x^2),x,2,inf));
                                 inf + 2
(%o11)                         log(-----------)
                               2 (inf + 1)

Discussion

  • Andrej Vodopivec

    This bug is fixed in git (commit 727fe82).

     
  • Andrej Vodopivec

    • status: open --> closed
     

Log in to post a comment.