#14305: bug in simplify_radical
----------------------------+-------------------------
Reporter: zimmerma | Owner: burcin
Type: defect | Status: new
Priority: critical | Milestone: sage-5.12
Component: calculus | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
----------------------------+-------------------------
Comment (by nbruin):
Replying to [comment:26 burcin]:
> The problem with the Maxima interface mixing up variable domains is
#6862. This could be fixed with #8734 by changing the Maxima conversion
(in the libmaxima interface) to work directly off the pynac expression
tree (instead of going through strings / parsers)
And that is largely available already via the functions
`sage.interfaces.maxima_lib.sr_to_max` and
`sage.interfaces.maxima_lib.max_to_sr`, which already get used for, for
instance, limits and integrals. Currently it asks the strings-based
translator (once) for how to convert, but the information is all there to
convert variables more intelligently.
Of course, a formula translation routine can't go and purposely change the
global state of maxima (you wouldn't know when to convert back!), but it
could store required global settings somewhere else, so that they can be
applied when the actual functionality is called upon and undone
afterwards.
Implementing this will indeed be a tedious and thankless job. It would
feel a lot more worthwhile if first almost all of calculus were moved to
using `sr_to_max`. Then is gets easier to start letting maxima_lib have
different conversion semantics than maxima.
--
Ticket URL: <http://trac.sagemath.org/ticket/14305#comment:27>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.