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