lead ( poly_expression ) lead ( vector_expression ) lead ( ideal_expression ) lead ( module_expression )
Type:
the same as the input type
Purpose:
returns the leading (or initial) term(s) of a polynomial, a vector,
resp. of the generators of an ideal or module with respect
to the monomial ordering.