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

Reply via email to