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")'.
|