up previous next

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
MinSyzMinGens minimal generators of syzygies of minimal 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
SyzMinGens syzygy module for a set of minimal generators
SyzOfGens syzygy module for a given set of generators


For details look up each item by name. Online, try ?ItemName or H.Syntax("ItemName").