leadMonomial(NCRingElement) -- Returns the lead monomial of an NCRingElement

• Function: leadMonomial

• Usage:

  mon = leadMonomial f

• Inputs:
  • f, an instance of the type NCRingElement,
• Outputs:
  • mon, an instance of the type 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