Implementation of monomial ordering begun