PolynomialFunctions2(R, S)

multpoly.spad line 37 [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: (R -> S, 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.