#7377: Symbolic Ring to Maxima via EclObject
-----------------------------------------------------------------------+----
Reporter: nbruin |
Owner: nbruin
Type: enhancement |
Status: needs_work
Priority: major |
Milestone: sage-feature
Component: symbolics |
Keywords:
Author: Nils Bruin, Jean-Pierre Flori |
Upstream: N/A
Reviewer: Jean-Pierre Flori, François Bissey, Karl-Dieter Crisman |
Merged:
Work_issues: |
-----------------------------------------------------------------------+----
Comment(by nbruin):
First of all, great sleuthing! Excellent progress.
> Ok I found the reason of the strange "ceil" function appearing.
>
> That's because sr_to_max calls op_max=caar(maxima(expr).ecl()) and
maxima(expr) can simplify the object change its structure, so the
dictionary is wrongly built (we get "ceil" for "+").
>
> Putting op_max=maxima(op).ecl() seems functional.
I think I tried your alternative before, but that could also lead to parse
errors (feeding just the operator to maxima may not lead to a syntactical
expression on the other side). Note that the "learning" via the strings-
based interface is only a hack to profit from work done there (and to stay
compatible with it). Most of this knowledge on how to map SR.operator()
objects to maxima and back, is hand-coded somewhere in sage anyway. If we
could get that info once and for all and transcribe it to the sr_to_max
dicts, we wouldn't need this hack anymore.
> The issue with (log(9)*x).simplify_log('all') is similar.
>
> Maxima transforms log(9!^x) back to log(9)*x before it is passed to
string function in max_to_string:
Interesting! So this problem would disappear again if simplify_log were
wrapped similarly to sr_integral etc., where sr_to_max and max_to_sr are
used as much as possible.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7377#comment:69>
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.
