-- -*- M2-comint -*- hash: 944428704

i1 : A = QQ{x,y,z,w}

o1 = A

o1 : NCPolynomialRing

i2 : f = x^2+y^2+z^3

      3  2  2
o2 = z +y +x

o2 : A

i3 : mon = leadMonomial f

      3
o3 = z

o3 : A

i4 : 
