gdirprod.spad line 1 [edit on github]
This package provides ordering functions on vectors which are suitable parameters for OrderedDirectProduct.
pureLex(v1, v2) return true if the vector v1 is less than the vector v2 in the lexicographic ordering.
reverseLex(v1, v2) return true if the vector v1 is less than the vector v2 in the ordering which is total degree refined by the reverse lexicographic ordering.
totalLex(v1, v2) return true if the vector v1 is less than the vector v2 in the ordering which is total degree refined by lexicographic ordering.