MonoidRingFunctions2(R, S, M)

mring.spad line 335 [edit on github]

• R: Ring

• S: Ring

• M: Monoid

MonoidRingFunctions2 implements functions between two monoid rings defined with the same monoid over different rings.

map: (R -> S, MonoidRing(R, M)) -> MonoidRing(S, M)

map(f, u) maps f onto the coefficients f the element u of the monoid ring to create an element of a monoid ring with the same monoid b.