NewSparseUnivariatePolynomialFunctions2(R, S)ΒΆ

newpoly.spad line 207

This package lifts a mapping from coefficient rings R to S to a mapping from sparse univariate polynomial over R to a sparse univariate polynomial over S. Note that the mapping is assumed to send zero to zero, since it will only be applied to the non-zero coefficients of the polynomial.

map: (R -> S, NewSparseUnivariatePolynomial R) -> NewSparseUnivariatePolynomial S
map(func, poly) creates a new polynomial by applying func to every non-zero coefficient of the polynomial poly.