-- -*- M2-comint -*- hash: 2816394223171298842

i1 : R = QQ[x,y,z,w];

i2 : x > y and y > z and z > w

o2 = true

i3 : use reorderPolynomialRing(GRevLex, R)

o3 = QQ[z, w..y]

o3 : PolynomialRing

i4 : x > y

o4 = true

i5 : y > z

o5 = false

i6 : z > w

o6 = true

i7 : 
