|  |  7.2.1.4 ideal related functions (plural) 
 
dimGelfand-Kirillov dimension of basering modulo the ideal of leading terms (see  dim (plural))
eliminateelimination of variables (see  eliminate (plural))
intersectideal intersection (see  intersect (plural))
kbasevector space basis of basering modulo the leading ideal
(see  kbase (plural))
leadleading terms of a set of generators (see  lead)
liftlift-matrix (see  lift (plural))
liftstdleft Groebner basis and transformation matrix computation (see  liftstd (plural))
maxidealgenerators of a power of the maximal ideal at 0 (see  maxideal)
modulorepresents
 (see  modulo (plural))mresminimal free resolution of an ideal and a minimal set
of generators of the given ideal
(see  mres (plural))
ncolsnumber of columns (see  ncols)
nrescomputes a free resolution of an ideal resp. module M which is
minimized from the second free module on (see  nres (plural))
opposecreates an opposite ideal of a given ideal from the given ring into a basering (see  oppose)
preimagepreimage under a ring map (see  preimage (plural))
quotientideal quotient (see  quotient (plural))
reduceleft normal form with respect to a left Groebner basis (see  reduce (plural))
simplifysimplify a set of polynomials (see  simplify)
sizenumber of non-zero generators (see  size)
slimgbleft Groebner basis computation with slim technique (see  slimgb (plural))
stdleft Groebner basis computation (see  std (plural))
substsubstitute a ring variable (see  subst (plural))
syzcomputation of the first syzygy module (see  syz (plural))
twostdtwo-sided Groebner basis computation (see  twostd (plural))
vdimvector space dimension of basering modulo the leading ideal (see  vdim (plural))
 
 |