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 _______________________________________________ Axiom-math mailing list Axiom-math@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-math
