Re: repeated series expansion

> In axiom there is another option:
>
> (1) ->  x := 'X::TS FRAC INT; y := 'Y::TS FRAC INT;
>
>                                          Type: TaylorSeries(Fraction(Integer))
> (2) ->  sin(x+y)
>
>                       1  3   1    2   1  2    1  3
>     (2)  (Y + X) + (- - Y  - - X Y  - - X Y - - X ) + O(5)
>                       6      2        2       6
>                                          Type: TaylorSeries(Fraction(Integer))

Thanks, Martin. That is exactly the representation with the 
(homogeneous) polynomial coefficients I was talking about here...
http://lists.nongnu.org/archive/html/axiom-math/2010-07/msg00003.html

> However, currently there is no domain for generalised multivariate
> Taylor series.

Could you say, what you actually mean by "generalized multivariate TS"?

Ralf