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: (R1 -> R2, A1) -> A2

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