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 : (Mapping(S, R), 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.