leadCoefficient
leadCoefficient f
-- return the leading coefficient of the polynomial or vector f.
See also
leadTerm
,
leadMonomial
, and
leadComponent
.