previous  next
3.13.2. Commands and Functions for Groebner-Type Computations
The following are the commands and functions for computations based
on Groebner bases.  In addition to these, there are many commands that
provide finer control over the computations (see the next section:
'The Interactive Groebner Framework').

  * Colon, :, HColon -- ideal or module quotient
  * Dim -- the dimension of a ring or quotient object
  * Elim -- eliminate variables
  * EquiIsoDec -- equidimensional isoradical decomposition
  * GB.Complete -- Complete an interactive Groebner-type calculation
  * GB.GetBettiMatrix -- returns the Betti matrix computed so far
  * GB.GetNthSyz -- returns the part of the Nth syzygy module computed so far
  * GB.GetNthSyzShifts -- shifts of the Nth syzygy module computed so far
  * GB.GetRes -- returns the resolution computed so far
  * GB.GetResLen -- returns the length of the resolution computed so far
  * GB.ResReport -- status of an interactive resolution calculation
  * GB.Start_GBasis -- start interactive Groebner basis computation
  * GB.Start_MinGens -- start interactive minimal generator calculation 
  * GB.Start_MinSyzMinGens -- start interactive calc., min. syzs. of min. gens.
  * GB.Start_Res -- start interactive resolution computation
  * GB.Start_Syz -- start interactive syzygy computation
  * GB.Start_SyzMinGens -- start interactive calc. of syzygies of min. gens.
  * GB.Stats -- status of an interactive Groebner-type calculation
  * GB.Step, GB.Steps -- take steps in an interactive Groebner-type calculation
  * GBasis -- calculate a Groebner basis
  * GBM, HGBM -- intersection of ideals for zero-dimensional schemes
  * GCD, LCM -- greatest common divisor, least common multiple
  * Hilbert -- the Hilbert function
  * HilbertPoly -- the Hilbert polynomial
  * HIntersection, HIntersectionList -- intersection of ideals
  * Homogenized -- homogenize with respect to an indeterminate
  * HVector -- the h-vector of a ring or quotient object
  * IdealAndSeparatorsOfPoints -- ideal & separators for affine points
  * IdealAndSeparatorsOfProjectivePoints -- ideal & separators for points
  * IdealOfPoints -- ideal of a set of affine points
  * IdealOfProjectivePoints -- ideal of a set of projective points
  * Intersection, IntersectionList -- intersect lists, ideals, or modules
  * MinGens -- list minimal generators
  * MinSyzMinGens -- minimal generators of syzygies of minimal generators
  * Multiplicity -- the multiplicity (degree) of a ring or quotient object
  * NF -- normal form
  * NFsAreZero -- test if normal forms are zero
  * Poincare, HilbertSeries -- the Poincare series
  * Radical -- radical of an ideal
  * RadicalOfUnmixed -- radical of an unmixed ideal
  * ReducedGBasis -- compute a reduced Groebner basis
  * Res -- free resolution
  * Saturation, HSaturation -- saturation of ideals
  * Syz -- syzygy modules
  * SyzMinGens -- syzygy module for a set of minimal generators
  * SyzOfGens -- syzygy module for a given set of generators

Details can be found by looking up each item by name.  Online, try
'?ItemName' or 'H.Syntax("ItemName")'.
See also: