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