search for:
Ring OrderedMonoid
-- make a polynomial ring
R M
-- produces the monoid ring from a ring
R
and an ordered monoid
M
.
See also:
polynomial rings
Synopsis of use:
Operator:
Class of argument 1:
Ring
Class of argument 2:
OrderedMonoid
Class of typical returned value:
PolynomialRing
search for: