1: \begin{definition}\rm

2: \label{def:basisCprec}  

3: The polynomials given by $(*)$ and $(**)$ span $\CC[V]$ by

4: Proposition~\ref{prop:span}, and those from $(**)$ are linearly

5: independent by Theorem~\ref{thm:freemodule}.  We first create a basis of $\CC[V]$ by adjoining a sufficient number of elements of the form $(*)$ to those of the form $(**)$.  List those of the form $(*)$ in grevlex order and discard any monomial that is linearly dependent with respect to elements of the form $(**)$ together with previous elements of $(*)$; otherwise keep it.  This yields the basis $\calC$ of $\CC[V]$.  We define an ordering $\prec$ on $\calC$ as

6: follows.  First, order the elements by total degree; then for a fixed degree $s$,

7: \begin{itemize}

8: \item let elements of $(*)$ precede elements of $(**)$;

9: \item let $z^{\alpha}z_m^l{*}\bv_i\prec z^{\hat\alpha}z_m^{\hat

10:   l}{*}\bv_j$ if $z^{\alpha}z_m^l$ precedes $z^{\hat\alpha}z_m^{\hat l}$

11:   according to grevlex; 

12: \item let $z^{\alpha}z_m^l{*}\bv_i\prec z^{\alpha}z_m^l{*}\bv_j$ if $i<j$;

13:   and

14: \item let elements of the form $(*)$ be ordered according to grevlex.

15: \end{itemize}

16: \end{definition}