|
7.2.1.4 ideal related functions (plural)
dim
- Gelfand-Kirillov dimension of basering modulo the ideal of leading terms (see dim (plural))
eliminate
- elimination of variables (see eliminate (plural))
intersect
- ideal intersection (see intersect (plural))
kbase
- vector space basis of basering modulo the leading ideal
(see kbase (plural))
lead
- leading terms of a set of generators (see lead)
lift
- lift-matrix (see lift (plural))
liftstd
- left Groebner basis and transformation matrix computation (see liftstd (plural))
maxideal
- generators of a power of the maximal ideal at 0 (see maxideal)
modulo
- represents
(see modulo (plural))
mres
- minimal free resolution of an ideal and a minimal set
of generators of the given ideal
(see mres (plural))
ncols
- number of columns (see ncols)
nres
- computes a free resolution of an ideal resp. module M which is
minimized from the second free module on (see nres (plural))
oppose
- creates an opposite ideal of a given ideal from the given ring into a basering (see oppose)
preimage
- preimage under a ring map (see preimage (plural))
quotient
- ideal quotient (see quotient (plural))
reduce
- left normal form with respect to a left Groebner basis (see reduce (plural))
simplify
- simplify a set of polynomials (see simplify)
size
- number of non-zero generators (see size)
slimgb
- left Groebner basis computation with slim technique (see slimgb (plural))
std
- left Groebner basis computation (see std (plural))
subst
- substitute a ring variable (see subst (plural))
syz
- computation of the first syzygy module (see syz (plural))
twostd
- two-sided Groebner basis computation (see twostd (plural))
vdim
- vector space dimension of basering modulo the leading ideal (see vdim (plural))
|