| #### 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))

User manual for Singular version 4.3.2, 2023, generated by texi2html.