#17400: simplify_full returns odd result from symbolic series input
-------------------------+-------------------------------------------------
Reporter: rws | Owner:
Type: | Status: needs_work
defect | Milestone: sage-7.1
Priority: major | Resolution:
Component: | Merged in:
symbolics | Reviewers:
Keywords: | Work issues:
Authors: Ralf | Commit:
Stephan | 611f93b9a10863247293ae330c8f9432fb6a22b0
Report Upstream: N/A | Stopgaps:
Branch: |
u/rws/17400-1 |
Dependencies: |
#17399, #17659 |
-------------------------+-------------------------------------------------
Comment (by nbruin):
Replying to [comment:4 rws]:
> There are no power series objects in Maxima,
> [...]
> The Taylor series objects have an order parameter on creation, but this
does not get output or translated to Sage
So there ''are'' power series-type object in maxima. We could just access
those then and use them to translate back-and-forth. It's a bit of a
question how much functionality maxima has for it and whether maxima
itself works with them faithfully.
The internal representation seems to be a bit complicated:
{{{
sage: P=maxima_calculus.taylor(exp(x),x,0,5)
sage: P
1+_SAGE_VAR_x+_SAGE_VAR_x^2/2+_SAGE_VAR_x^3/6+_SAGE_VAR_x^4/24+_SAGE_VAR_x^5/120
sage: P.ecl()
<ECL: ((MRAT SIMP (((MEXPT SIMP) $%E |$_SAGE_VAR_x|) |$_SAGE_VAR_x|)
(#:|%e^_SAGE_VAR_x2396| #:|_SAGE_VAR_x2397|)
((|$_SAGE_VAR_x| ((5 . 1)) 0 NIL #:|_SAGE_VAR_x2397| . 2)) TRUNC)
PS (#:|_SAGE_VAR_x2397| . 2) ((5 . 1)) ((0 . 1) 1 . 1) ((1 . 1) 1 . 1)
((2 . 1) 1 . 2) ((3 . 1) 1 . 6) ((4 . 1) 1 . 24) ((5 . 1) 1 . 120))>
}}}
but fundamentally everything is there to create/peel apart these objects.
(note that it would be a bit harder to work with these objects via the
expect-interface to maxima)
--
Ticket URL: <http://trac.sagemath.org/ticket/17400#comment:18>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
