multiplicity --
the multiplicity (degree) of a ring
Syntax
multiplicity(R: RING): INT
multiplicity(M: MODULE): INT
Description
This function computes the multiplicity (or degree) of R or M,
i.e. the leading coefficient of the Hilbert polynomial multiplied by
the factorial of the degree of the Hilbert polynomial.
M can be a module or a quotient.
Example
/**/ use R ::= QQ[t,x,y,z];
/**/ multiplicity(R/ideal(x,y,z)^5);
35