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

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