-- -*- M2-comint -*- hash: 147397369488605420

i1 : R = QQ[a..d,MonomialOrder=>ProductOrder{1,3}];

i2 : I = ideal(a*b-c*d, a*c-b*d)

o2 = ideal (a*b - c*d, a*c - b*d)

o2 : Ideal of R

i3 : leadTerm(1,I)

             2     2
o3 = ideal (b d - c d, a*c, a*b)

o3 : Ideal of R

i4 : 
