Monomial order - Other languages