For an ideal, a GrÃ¶bner basis is first computed, and the ideal of lead terms is returned.
If an initial integer n is specified, then the returned value contains the sum of all of the terms with the greatest value on the first n parts of the monomial order.
The object leadTerm is a method function.