#10682: sum fails with lower bound != 0 or 1 (upgrade maxima to 5.26)
-----------------------------------------------------------------------------------------------+
   Reporter:  fmaltey                                                           
               |          Owner:  burcin    
       Type:  defect                                                            
               |         Status:  needs_work
   Priority:  critical                                                          
               |      Milestone:  sage-5.0  
  Component:  symbolics                                                         
               |       Keywords:            
Work_issues:  several doctests need to be patched due to  changes in output 
format/term order  |       Upstream:  N/A       
   Reviewer:                                                                    
               |         Author:            
     Merged:                                                                    
               |   Dependencies:            
-----------------------------------------------------------------------------------------------+

Comment(by mjo):

 I think it would be nice if we handled this automatically rather than
 requiring the user to know about the internals of solution/simplification.
 I mean, none of ''us'' knew what the problem was until Nils pointed it
 out.

 My understanding is that we default to `domain: complex` because it will
 make the fewest invalid simplifications and is compatible with pynac. In
 general, that's the right thing to do. But here? We know that ''all'' of
 the variables in the system are real, from the assumption that x,y>0.

 Why not just set the domain to real in that case?

 (I think we should add something like a `set_domain_real` method to
 maxima_lib either way to make this cleaner.)

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10682#comment:31>
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