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