# FiniteAbelianMonoidRingFunctions2(E, R1, A1, R2, A2)¶

map(f, a) applies the map f to each coefficient in a. It is assumed that f maps 0 to 0