UnivariatePuiseuxSeriesFunctions2(Coef1, Coef2, var1, var2, cen1, cen2)

puiseux.spad line 568 [edit on github]

• Coef1 : Ring
• Coef2 : Ring
• var1 : Symbol
• var2 : Symbol
• cen1 : Coef1
• cen2 : Coef2

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

map : (Mapping(Coef2, Coef1), UnivariatePuiseuxSeries(Coef1, var1, cen1)) -> UnivariatePuiseuxSeries(Coef2, var2, cen2)

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