Ring OrderedMonoid -- make a polynomial ring

Ring OrderedMonoid -- make a polynomial ring

Synopsis:

Operator: symbol " " -- blank operator for adjacent expressions

Input:

an instance of class Ring.

an instance of class OrderedMonoid.

Output:

an instance of class PolynomialRing.

R M -- produces the monoid ring from a ring R and an ordered monoid M.

See also:

polynomial rings