leadTerm

leadTerm f -- return the leading term of the polynomial or vector f.
leadTerm m -- return the matrix of initial forms of the columns of the matrix m.
leadTerm(i,m) -- return the matrix of polynomials formed by retaining those monomials of each entry which agree on the first i weight vectors.

i1 : R = ZZ/101[a..d]

o1 = R

o1 : PolynomialRing
i2 : leadTerm (3 + 8*a^2*b + 7*b*c^2)

       2
o2 = 8a b

o2 : R
i3 : leadTerm matrix {{a,b},{c,d}}

o3 = {0} | a b |
     {0} | 0 0 |

             2       2
o3 : Matrix R  <--- R
i4 : leadTerm matrix {{c,d},{a,b}}

o4 = {0} | 0 0 |
     {0} | a b |

             2       2
o4 : Matrix R  <--- R

See also leadCoefficient, leadMonomial, and leadComponent.

topindexpreviousupnext