next up previous contents
Next: Formal description of pure Up: Formal descriptions of Previous: Formal descriptions of

An ordering on tex2html_wrap_inline7984

We begin by giving the definition of pure lex order on tex2html_wrap_inline7984 given in §2.2 of [CLS]. This order will play a central role in defining pure lex and multilex orders on the monic monomials of K[ x , ..., x].

Definition C.6 [CLS], Pure lex on N Let = (a , ..., a) N and = (b , ..., b) N. We say that is greater than if, in the vector difference - Z, the left-most nonzero entry is positive.

Wed Jul 3 10:27:42 PDT 1996