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: (R1 -> R2, M1) -> M2

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