template<class C,class O> struct ring<C, Dual, O>
The polynomials are represented by a sequence of ordered monomials: