up previous next
2.9.8 Commands and Functions for RING
AffHilbertFn the affine Hilbert function
BaseRing the base ring of a ring
BettiDiagram the diagram of the graded Betti numbers
CanonicalHom canonical homomorphism
characteristic the characteristic of a ring
CoeffEmbeddingHom returns the coefficient embedding homomorphism of a polynomial ring
CoeffRing the ring of coefficients of a polynomial ring
ColMat single column matrix
DefiningIdeal defining ideal of a quotient ring
DensePoly the sum of all power-products of a given degree
depth Depth of a module
DiagMat matrix with given diagonal
dim the dimension of a ring or quotient object
EmbeddingHom returns the embedding homomorphism of a fraction field
GenericPoints random projective points
GradingMat matrix of generalized weights for indeterminates
HilbertFn the Hilbert function
HilbertPoly the Hilbert polynomial
HilbertSeries the Hilbert-Poincare series
HilbertSeriesMultiDeg the Hilbert-Poincare series wrt a multigrading
HVector the h-vector of a module or quotient object
ideal ideal generated by list
IdealOfPoints ideal of a set of affine points
IdentityMat the identity matrix
implicit implicitization
ImplicitHypersurface implicitization of hypersurface
indet individual indeterminates
indets list of indetermiantes in a PolyRing
IndetSymbols the names of the indeterminates in a PolyRing
InducedHom homomorphism induced by a homomorphism
IsField test whether a ring is a field
IsFiniteField test whether a ring is a finite field
IsFractionField test whether a ring is a fraction field
IsPolyRing test whether a ring is a polynomial ring
IsQQ test whether a ring is the ring of rationals
IsQuotientRing test whether a ring is a quotient ring
IsStdGraded checks if the grading is standard
IsTrueGCDDomain test whether a ring is a true GCD domain
IsZZ test whether a ring is the ring of integers
LogCardinality extension degree of a finite field
MakeTerm returns a monomial (power-product) with given exponents
matrix convert a list into a matrix
multiplicity the multiplicity (degree) of a ring or quotient object
NewFractionField create a new fraction field
NewFreeModule create a new FreeModule
NewMat Zero matrix
NewPolyRing create a new PolyRing
NewQuotientRing create a new quotient ring
NewWeylAlgebra create a new Weyl Algebra
NumIndets number of indeterminates
one one of a ring
operators, shortcuts Special characters equivalent to commands
OrdMat matrix defining a term-ordering
poincare [OBSOLESCENT] [OBSOLESCENT] the Hilbert-Poincare series
PolyAlgebraHom homomorphism of polynomial algebras
PolyRingHom homomorphism of polynomial rings
PrintBettiDiagram the diagram of the graded Betti numbers
QuotientingHom returns the projection homomorphism into a quotient ring
ReadExpr Read RINGELEM expression from string
reg Castelnuovo-Mumford regularity of a module
RegularityIndex regularity index of a Hilbert function or series
RingElem convert an expression into a RINGELEM
RingID identification for ring
RowMat single row matrix
SubalgebraRepr representation of a polynomial as a subalgebra element
TmpChainCanonicalHom canonical homomorphism
TmpNBM Numerical Border Basis of ideal of points
WeightsMatrix [OBSOLESCENT] [OBSOLESCENT] matrix of generalized weights for indeterminates
zero zero of a ring
ZeroMat matrix filled with 0