²This sets a graded lexicographic on the monic monomials involving the variables y, Inv[y], Inv[1 -y], a and x with y < Inv[y] < Inv[1 - y] < a < x.