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

poly.spad line 287 [edit on github]

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