previous  next
3.12.4. Commands and Functions for Modules
The following are commands and functions for modules:

  * Colon, :, HColon -- ideal or module quotient
  * E_ -- canonical vector
  * Elim -- eliminate variables
  * 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
  * GBasis -- calculate a Groebner basis
  * GenRepr -- representation in terms of generators
  * Gens -- list of generators of an ideal
  * Interreduce, Interreduced -- interreduce a list of polynomials or vectors
  * Intersection, IntersectionList -- intersect lists, ideals, or modules
  * IsIn -- check if one object is contained in another
  * IsZero -- test whether an object is zero
  * Len -- the length of an object
  * LT -- the leading term of an object
  * Max, Min -- a maximum or minimum element of a sequence or list
  * MinGens -- list minimal generators
  * Minimalize, Minimalized -- remove redundant generators
  * Module -- convert an expression into a module
  * NF -- normal form
  * NFsAreZero -- test if normal forms are zero
  * Rank -- rank of a module
  * ReducedGBasis -- compute a reduced Groebner basis
  * Res -- free resolution
  * Size -- the amount of memory used by an object
  * Syz -- syzygy modules
  * 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")'.