Returns the lead term of an NCRingElement (as an NCRingElement).
i1 : A = QQ{x,y,z,w}
o1 = A
o1 : NCPolynomialRing
|
i2 : f = x^2+y^2+2*z^3
3 2 2
o2 = 2z +y +x
o2 : A
|
i3 : coeff = leadTerm f
3
o3 = 2z
o3 : A
|