4.8.14 Commands and Functions for Rings |
AffHilbert | the affine Hilbert function |
AffHilbertFn | the affine Hilbert function |
AffHilbertSeries | the affine Hilbert-Poincare series |
AffPoincare | the affine Hilbert-Poincare series |
characteristic | the characteristic of a ring |
CoeffRing | the ring of coefficients of a polynomial ring |
CurrentRing | the current ring |
deg | the degree of a polynomial or vector |
dim | the dimension of a ring or quotient object |
Hilbert | the Hilbert-Poincare' function |
HilbertFn | the Hilbert function |
HilbertPoly | the Hilbert polynomial |
HilbertSeries | the Hilbert-Poincare series |
HilbertSeriesMultiDeg | the Hilbert-Poincare series wrt a multigrading |
HilbertSeriesShifts | the Hilbert-Poincare series |
HVector | the h-vector of a module or quotient object |
Image | apply ring homomorphism |
indet | individual indeterminates |
IndetInd | the index of an indeterminate |
IndetIndex | index of an indeterminate |
IndetName | the name of an indeterminate |
indets | list of current indeterminates |
IndetSymbols | the names of the indeterminates in a PolyRing |
MDeg | multi-degree of an polynomial |
multiplicity | the multiplicity (degree) of a ring or quotient object |
NumIndets | number of indeterminates |
ord | matrix defining a term-ordering |
Poincare | the Hilbert-Poincare series |
PoincareMultiDeg | the Hilbert-Poincare series wrt a multigrading |
PoincareShifts | the Hilbert-Poincare series |
QZP | change field for polynomials and ideals |
RingElem | convert an expression into a RINGELEM |
RingOf | name of the ring of the object |
RingSet | list of the rings of an object |
RMap | define ring homomorphism |
SymbolRange | range of symbols for the indeterminates of a PolyRing |
UnivariateIndetIndex | the index of the indeterminate of a univariate polynomial |
use | command for making a ring active |
WeightsList | first row of the weights matrix |
WeightsMatrix | matrix of generalized weights for indeterminates |
ZPQ | change field for polynomials and ideals |