#11894: problems with infinite sum
------------------------+---------------------------------------------------
   Reporter:  tmonteil  |          Owner:  burcin              
       Type:  defect    |         Status:  new                 
   Priority:  major     |      Milestone:  sage-4.7.2          
  Component:  calculus  |       Keywords:  infinite sum, maxima
Work_issues:            |       Upstream:  N/A                 
   Reviewer:            |         Author:                      
     Merged:            |   Dependencies:                      
------------------------+---------------------------------------------------

Comment(by kcrisman):

 Hmm, you have quite a few things here.  But which of these are a bug, or
 should be the main focus of this report?
  1. I'm thankful that Maxima provides this for us at all, though of course
 summation could be better.  I assume it is correct if numerically
 approximated?  (I don't know the answer that this should give.)
  1. `False` just means "can't prove it's True".  For this complicated of
 an expression, it would be very difficult for `bool` to prove this.
 Again, could be enhanced, but not a bug.  You may wish to see if some of
 the Maxima simplifications could help with this?
  1. `RR` does not take the real part of a number.  That said, we should
 have something that checks this, I think, unless there is an arcane reason
 (in this huge expression) we can't.
  1. Hmm, this would be a bug in Maxima.  We do get the correct error
 without the infinity.
 {{{
 sage: sage: s = sum(1/(m^4 + 2*m^3 + 3*m^2 + 2*m)^2, m, 0, 3)
 ---------------------------------------------------------------------------
 RuntimeError                              Traceback (most recent call
 last)
 RuntimeError: ECL says: Error executing code in Maxima: Division by 0
 }}}
     I've logged this
 
[https://sourceforge.net/tracker/?func=detail&aid=3418608&group_id=4933&atid=104933
 as a Maxima bug].

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11894#comment:1>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to