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

fffg.spad line 17

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