|  |  4.13.4 module related functions 
 
coeffsmatrix of coefficients (see  coeffs)
degreemultiplicity, dimension and codimension of the module of leading terms (see  degree)
diffpartial derivative (see  diff)
dimKrull dimension of free module over the basering modulo the module of leading terms (see  dim)
eliminateelimination of variables (see  eliminate)
freemodulethe free module of given rank (see  freemodule)
fresfree resolution of a standard basis (see  fres)
groebnerGroebner basis computation (a wrapper around std,stdhilb,stdfglm,...)
(see  groebner)hilbHilbert function of a standard basis (see  hilb)
homoghomogenization with respect to a variable (see  homog)
interredinterreduction of a module (see  interred)
intersectmodule intersection (see  intersect)
jetTaylor series up to a given order (see  jet)
kbasevector space basis of free module over the basering modulo the module of
leading terms (see  kbase)
leadinitial module (see  lead)
liftlift-matrix (see  lift)
liftstdstandard basis and transformation matrix computation (see  liftstd)
lresfree resolution (see  lres)
minbaseminimal generating set of a homogeneous ideal, resp. module, or an ideal, resp. module,
over a local ring
modulorepresents
 (see  modulo)mresminimal free resolution of an ideal resp. module w.r.t. a minimal set of generators of the given module
(see  mres)
multmultiplicity, resp. degree, of the module of leading terms (see  mult)
nrescomputation of a free resolution of an ideal resp. module M which is
minimized from the second free module on (see  nres)
ncolsnumber of columns (see  ncols)
nrowsnumber of rows (see  nrows)
printnice print format (see  print)
pruneminimization of the embedding into a free module (see  prune)
qhweightquasihomogeneous weights of an ideal, resp. module (see  qhweight)
quotientmodule quotient (see  quotient)
reducenormalform with respect to a standard basis (see  reduce)
resfree resolution of an ideal, resp. module, but not changing the given ideal, resp. module
(see  res)
simplifysimplification of a set of vectors (see  simplify)
sizenumber of non-zero generators (see  size)
sortvecpermutation for sorting ideals/modules (see  sortvec)
sresfree resolution of a standard basis (see  sres)
stdstandard basis computation (see  std,  liftstd)
substsubstitution of a ring variable (see  subst)
syzcomputation of the first syzygy module (see  syz)
vdimvector space dimension of free module over the basering modulo module
of leading terms (see  vdim)
weight"optimal" weights (see  weight)
 
 |