UnivariateTaylorSeriesFunctions2(Coef1, Coef2, UTS1, UTS2)

taylor.spad line 406 [edit on github]

• Coef1 : Ring
• Coef2 : Ring
• UTS1 : UnivariateTaylorSeriesCategory(Coef1)
• UTS2 : UnivariateTaylorSeriesCategory(Coef2)

Mapping package for univariate Taylor series. This package allows one to apply a function to the coefficients of a univariate Taylor series.

map : (Mapping(Coef2, Coef1), UTS1) -> UTS2

map(f, g(x)) applies the map f to the coefficients of the Taylor series g(x).