Returns the sum of the terms of
f which are greatest using the first
n parts of the monomial order in the ring of
f. See
parts of monomial orders for an explanation.
In the following example, the lead terms using the first part refers to all the monomials which have the lead monomial in the indeterminates a and b. This has a effect similar to selecting leadTerm in the ring
QQ[c,d][a,b].
i1 : R = QQ[a..d, MonomialOrder => ProductOrder{2,2}];
|
i2 : leadTerm(1, (c+d)*a^3 - c^100*a - 1)
3 3
o2 = a c + a d
o2 : R
|