UnivariatePolynomialCategoryFunctions2(R, PR, S, PS)¶
- R: Join(SemiRng, AbelianMonoid)
- PR: UnivariatePolynomialCategory R
- S: Join(SemiRng, AbelianMonoid)
- PS: UnivariatePolynomialCategory S
Mapping from polynomials over
R to polynomials over
S given a map from
S assumed to send zero to zero.
- map: (R -> S, PR) -> PS
map(f, p)takes a function
S, and applies it to each (non-zero) coefficient of a polynomial
R, getting a new polynomial over
S. Note: since the map is not applied to zero elements, it may map zero to zero.