v = leadTermValuation R
This function constructs a valuation which returns the negative exponent vector of the lead term of a polynomial with respect to the ring's term order. The valuation returns vectors in an ordered $\QQ$module, which respects the monomial order of the PolynomialRing. For more details see Ordered modules.







The object leadTermValuation is a method function.