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

poly.spad line 287 [edit on github]

• R1 : Join(SemiRng, AbelianMonoid)
• R2 : Join(SemiRng, AbelianMonoid)
• S : Comparable
• M1 : FreeModuleCategory(R1, S)
• M2 : FreeModuleCategory(R2, S)

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

map : (Mapping(R2, R1), M1) -> M2

map(f, x) applies the function f to every coefficient of x