4.18.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

i-th generator (see gen)

homog

homogenization (see homog)

jet

k-jet: monomials with degree smaller k+1 (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)