PolynomialFunctions2(R, S)

multpoly.spad line 38 [edit on github]

• R : Ring
• S : Ring

This package takes a mapping between coefficient rings, and lifts it to a mapping between polynomials over those rings.

map : (Mapping(S, R), Polynomial(R)) -> Polynomial(S)

map(f, p) produces a new polynomial as a result of applying the function f to every coefficient of the polynomial p.