Returns the lead monomial of an NCRingElement (as an NCRingElement).
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 |