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

fffg.spad line 17 [edit on github]

• E : OrderedAbelianMonoid
• R1 : Ring
• A1 : FiniteAbelianMonoidRing(R1, E)
• R2 : Ring
• A2 : FiniteAbelianMonoidRing(R2, E)

This package provides a mapping function for FiniteAbelianMonoidRing

map : (Mapping(R2, R1), A1) -> A2

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