
4.22.4 vector related functions
cleardenom
 quotient of a vector by its content (see cleardenom)
coeffs
 matrix of coefficients (see coeffs)
deg
 degree (see deg)
diff
 partial derivative (see diff)
gen
 ith generator (see gen)
homog
 homogenization (see homog)
jet
 kjet: monomials of degree at most k (see jet)
lead
 leading term (see lead)
leadcoef
 leading coefficient (see leadcoef)
leadexp
 the exponent vector of the leading monomial (see leadexp)
leadmonom
 leading monomial (see leadmonom)
nrows
 number of rows (see nrows)
ord
 degree of the leading monomial (see ord)
reduce
 normal form with respect to a standard base (see reduce)
simplify
 normalize a vector (see simplify)
size
 number of monomials (see size)
subst
 substitute a ring variable (see subst)
