arguments: ring monoid >> ring
Create the polynomial ring (i.e. monoid ring) wirh coefficients from the given ring, and monomials from the given monoid.
