[FUNCTION]
Return T if PQ with respect to lexicographic order, otherwise NIL. The second returned value is T if P=Q, otherwise it is NIL.
[FUNCTION]
Return the todal degree of a monomoal M.
[FUNCTION]
Return T if PQ with respect to graded lexicographic order, otherwise NIL. The second returned value is T if P=Q, otherwise it is NIL.
[FUNCTION]
Return T if PQ with respect to graded reverse lexicographic order, NIL otherwise. The second returned value is T if P=Q, otherwise it is NIL.
[FUNCTION]
Return T if PQ with respect to reverse lexicographic order, NIL otherwise. The second returned value is T if P=Q, otherwise it is NIL. This is not and admissible monomial order because some sets do not have a minimal element. This order is useful in constructing other orders.
[FUNCTION]
Return T if PQ with respect to inverse lexicographic order, NIL otherwise The second returned value is T if P=Q, otherwise it is NIL.
[FUNCTION]
Return a predicate which compares monomials according to the Kth elimination order. Two optional arguments are PRIMARYORDER and SECONDARYORDER and they should be term orders which are used on the first K and the remaining variables.
[FUNCTION]
A special case of the ELIMINATIONORDER when there is only one primary variable.