UnivariatePolynomialFunctions2(x, R, y, S)¶
This package lifts a mapping from coefficient rings
S to a mapping from UnivariatePolynomial(
R) to UnivariatePolynomial(
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.