BettiDiagram
|
the diagram of the graded Betti numbers
|
BettiMatrix
|
the matrix of the graded Betti numbers
|
Colon
|
ideal or module quotient
|
Depth
|
Depth of a module
|
E_
|
canonical vector
|
Elim
|
eliminate variables
|
Ext
|
presentation Ext modules as quotients of free modules
|
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
|
GBasis5, and more
|
calculations using the CoCoAServer
|
GBasisTimeout
|
compute a Groebner basis with a timeout
|
GenRepr
|
representation in terms of generators
|
Gens
|
list of generators of an ideal
|
HColon
|
ideal or module quotient
|
Interreduce, Interreduced
|
interreduce a list of polynomials or vectors
|
Intersection
|
intersect lists, ideals, or modules
|
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
|
a maximum element of a sequence or list
|
Min
|
a minimum element of a sequence or list
|
MinGens
|
list minimal generators
|
Minimalize
|
remove redundant generators
|
Minimalized
|
remove redundant generators
|
MinimalPresentation
|
minimal presentation for a quotient
|
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 reduced Groebner basis
|
Reg, Reg5
|
Castelnuovo-Mumford regularity of a module
|
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
|