1: \begin{definition}\label{def:Rorder}
2: For $\widehat{R}$ corresponding to $\Delta_2^m$ as given in Theorem~\ref{thm:Rquotient}, specify the ordering $\prec_{\widehat{R}}$ of the monomial $K$-basis by using the lexicographic order induced by the ordering
3: \[
4: 1\prec_{\widehat{R}} x_1\prec_{\widehat{R}} x_2\prec_{\widehat{R}} x_3\prec_{\widehat{R}} x_4 \, ,
5: \]
6: i.e. on our basis elements we have $x_ix_4^j\prec_{\widehat{R}} x_kx_4^\ell$ if $j<\ell$ or $j=\ell$ and $x_i\prec_{\widehat{R}} x_k$.
7: \end{definition}
8: