|
7.2.3.4 module related functions (plural)
eliminate
- elimination of variables (see eliminate (plural))
freemodule
- the free module of given rank (see freemodule)
intersect
- module intersection (see intersect (plural))
kbase
- vector space basis of free module over the basering modulo the module of
leading terms (see kbase (plural))
lead
- initial module (see lead)
lift
- lift-matrix (see lift (plural))
liftstd
- left Groebner basis and transformation matrix computation (see liftstd (plural))
modulo
- represents
(see modulo (plural))
mres
- minimal free resolution of a module and a minimal set
of generators of the given ideal module
(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))
nrows
- number of rows (see nrows)
oppose
- creates an opposite module of a given module from the given ring into a basering (see oppose)
print
- nice print format (see print)
prune
- minimize the embedding into a free module (see prune)
quotient
- module quotient (see quotient (plural))
reduce
- left normal form with respect to a left Groebner basis (see reduce (plural))
simplify
- simplify a set of vectors (see simplify)
size
- number of non-zero generators (see size)
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))
vdim
- vector space dimension of free module over the basering modulo module
of leading terms (see vdim (plural))
|