PolynomialFunctions2(R, S)ΒΆ

multpoly.spad line 37

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.