(quote " ",Ring,OrderedMonoid)
R M
-- produces the monoid ring from a ring
R
and an ordered monoid
M
.
See also
Ring
and
OrderedMonoid
.
