#10682: Upgrade maxima to 5.26
---------------------------------------------+------------------------------
Reporter: fmaltey | Owner: burcin
Type: defect | Status: needs_review
Priority: critical | Milestone: sage-5.0
Component: symbolics | Keywords: maxima 5.26.0
binomial sum
Work_issues: | Upstream: N/A
Reviewer: Jean-Pierre Flori, Nils Bruin | Author: Dima Pasechnik
Merged: | Dependencies:
---------------------------------------------+------------------------------
Comment(by nbruin):
Replying to [comment:87 jpflori]:
Thanks for updating the patch! It's OK with me. I'll leave the specific
questions for Dima to answer.
> That now Maxima cannot simplify this expression when it is only told
that Re(x) >0 and Re(y)>0 and that we have to call simplify_exp() instead
?
> In particular, this might actually be a Maxima regression.
I agree that this is a Maxima regression. First maxima could verify an
equality given sufficient information, and now it can't. Assuming
everything in sight is real is not the same as assuming some real parts
are positive (although who knows what awful bug had as a side-effect this
particular equality got verified).
If you look in the history of `simp.lisp` you'll see there is some recent
probably relevant work there, so I think reporting this issue might have a
chance of getting it fixed (and will certainly be appreciated).
We are at the mercy of Maxima for these issues. Our alternatives are:
- not upgrade and live with existing bugs
- live with the regression
- fix and patch maxima
I think in this case, Option 2 is the practical one. Option 3 is obviously
the best (both for Maxima and for Sage) but doesn't solve anything _now_.
As soon as Dima has commented, back to positive review!
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10682#comment:89>
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.
