FreeModuleCoefficientFunctions2(R1, R2, S, M1, M2)ΒΆ

poly.spad line 268

A package for mappings between coefficients of free modules over the same base set.

map: (R1 -> R2, M1) -> M2
map(f, x) applies the function f to every coefficient of x