Monomial ordering now implemented