Martin Rubey wrote: > Vladimir Skokov <vvsko...@gmail.com> writes: > > >> Dear all, >> >> I have only started to learn axiom. Could you help me please? >> I have an expression, say sin(x+y). How could I perform expansion >> withe respect ot x and than to y? >> >> i.e. >> >> series( series( sin(x+y),x=0 ),y=0 ) >> >> thank you in advance >> > > 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)) > > However, currently there is no domain for generalised multivariate > Taylor series. I don't know how difficult that would be, and I didn't > think the maths through either. > > That's interesting. How does "MultivariateTaylorSeriesCategory()" from bookvol 10.2 page 1026 fall short? I have never used it; but it seemed relevant to the above.
Ray
_______________________________________________ Axiom-math mailing list Axiom-math@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-math
