template<class C> struct ring<C, Monomials>
The polynomials are represented by a sequence of coefficients in the monomial basis: