Changes between Version 2 and Version 4 of Ticket #17400


Ignore:
Timestamp:
01/13/15 16:52:53 (7 years ago)
Author:
rws
Comment:

There are no power series objects in Maxima, just conversion to infinite sums, i.e. formal power series:

sage: maxima.powerseries(x^2+1/(1-x),x,0)
'sum(_SAGE_VAR_x^i2,i2,0,inf)+_SAGE_VAR_x^2
sage: maxima.powerseries(x^2+1/(1-x),x,0).sage()
x^2 + sum(x^i3, i3, 0, +Infinity)

The Taylor series objects have an order parameter on creation, but this does not get output or translated to Sage:

sage: maxima.taylor(1+x+x^2+x^3,x,0,3)
1+_SAGE_VAR_x+_SAGE_VAR_x^2+_SAGE_VAR_x^3
sage: maxima.taylor(1+x+x^2+x^3,x,0,3).sage()
x^3 + x^2 + x + 1

so there is no way around it that SR.series will lose the order term when passed to Maxima. Thus only the coefficients may be simplified, and this must be done in or called from all simplify* functions.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #17400 – Description

    v2 v4  
     1`SR`.series will lose the order term when passed to Maxima. Thus only the coefficients may be simplified, and this must be done in all `simplify*` functions.
    12{{{
    23sage: x=var('x')
     
    78[[Order(x^6) + 1, 0], [1, 1], [1, 2], [1, 3], [1, 4], [1, 5]]
    89}}}
    9 See also the related #13655 and #17399.
     10See also the related #17399.
    1011
    1112Originally found in http://ask.sagemath.org/question/24968/coefficients-in-polynomial-ring-over-symbolic-ring/