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)