up previous next
2.14.1 Commands and Functions for MODULE
BaseRing the base ring of an object
colon ideal or module quotient
elim eliminate variables
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
GensAsCols, GensAsRows matrix of generators of a module
HilbertSeries the Hilbert-Poincare series
HilbertSeriesShifts the Hilbert-Poincare series
homog homogenize with respect to an indeterminate
IntersectList intersect lists, ideals, or modules
IsContained checks if A is Contained in B
IsElem checks if A is an element of B
IsIn check if one object is contained in another
IsZero test whether an object is zero
LT the leading term of an object
MinGens list of minimal generators
MinGensGeneral list of minimal generators
minimalize remove redundant generators
minimalized ideal, submodule with minimal generators
ModuleElem create a module element
ModuleOf the module environment of the object
NF normal form
NFsAreZero test if normal forms are zero
NumCompts the number of components
operators, shortcuts Special characters equivalent to commands
PoincareShifts the Hilbert-Poincare series
PrintBettiMatrix print the matrix of the graded Betti numbers
rank rank of a matrix or module
ReducedGBasis compute reduced Groebner basis
res free resolution
RingOf the ring of the object
RingSet list of the rings of an object
submodule submodule generated by list
SubmoduleCols, SubmoduleRows convert a matrix into a module
syz syzygy modules
SyzOfGens syzygy module for a given set of generators