GRADED TERM ORDER

establishes a cascaded term ordering: first a graduated ordering similar to gradlex term order is used, where the exponents first are multiplied by the given weights. If there are less weight values than variables, the weight list is extended by ones. If the weighted degree comparison is not decidable, the term ordering described in the following parameters of the torder command is used.