Colon, :, HColon
|
ideal or module quotient
|
Dim
|
the dimension of a ring or quotient object
|
Elim
|
eliminate variables
|
EquiIsoDec
|
equidimensional isoradical decomposition
|
GB.Complete
|
Complete an interactive Groebner-type calculation
|
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
|
GB.Start_GBasis
|
start interactive Groebner basis computation
|
GB.Start_MinGens
|
start interactive minimal generator calculation
|
GB.Start_MinSyzMinGens
|
start interactive calc., min. syzs. of min. gens.
|
GB.Start_Res
|
start interactive resolution computation
|
GB.start_Syz
|
start interactive syzygy computation
|
GB.start_SyzMinGens
|
start interactive calc. of syzygies of min. gens.
|
GB.Stats
|
status of an interactive Groebner-type calculation
|
GB.Step, GB.Steps
|
take steps in an interactive Groebner-type calculation
|
GBasis
|
calculate a Groebner basis
|
GBM, HGBM
|
intersection of ideals for zero-dimensional schemes
|
GCD, LCM
|
greatest common divisor, least common multiple
|
Hilbert
|
the Hilbert function
|
HilbertPoly
|
the Hilbert polynomial
|
HIntersection, HIntersectionList
|
intersection of ideals
|
Homogenized
|
homogenize with respect to an indeterminate
|
HVector
|
the h-vector of a ring or quotient object
|
IdealAndSeparatorsOfPoints
|
ideal and separators for affine points
|
IdealAndSeparatorsOfProjectivePoints
|
ideal and separators for points
|
IdealOfPoints
|
ideal of a set of affine points
|
IdealOfProjectivePoints
|
ideal of a set of projective points
|
Intersection, IntersectionList
|
intersect lists, ideals, or modules
|
MinGens
|
list minimal generators
|
MinSyzMinGens
|
minimal generators of syzygies of minimal generators
|
Multiplicity
|
the multiplicity (degree) of a ring or quotient object
|
NF
|
normal form
|
NFsAreZero
|
test if normal forms are zero
|
Poincare, HilbertSeries
|
the Poincare series
|
Radical
|
radical of an ideal
|
RadicalOfUnmixed
|
radical of an unmixed ideal
|
ReducedGBasis
|
compute a reduced Groebner basis
|
Res
|
free resolution
|
Saturation, HSaturation
|
saturation of ideals
|
Syz
|
syzygy modules
|
SyzMinGens
|
syzygy module for a set of minimal generators
|
SyzOfGens
|
syzygy module for a given set of generators
|