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
|
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
|
intersect
|
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 of minimal generators
|
Minimalize
|
remove redundant generators
|
Minimalized
|
remove redundant generators
|
MinimalPresentation
|
minimal presentation for a quotient
|
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
|
SyzOfGens
|
syzygy module for a given set of generators
|