|
2.3.4 module related functions
mres
- computes minimal free resolution of an ideal resp.
module w.r.t. a minimal set of generators of the given ideal
resp. module (see mres)
nres
- computes a free resolution of an ideal resp. module M which is
minimized from the second module on
(see nres)
reduce
- normal form with respect to a Groebner basis (see reduce)
std
- Groebner basis computation (see std)
syz
- computation of the first syzygy module (see syz)
|