next | previous | forward | backward | up | top | index | toc | home

Ring OrderedMonoid -- make a polynomial ring

Synopsis

Description

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

See also