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