up previous next
the multiplicity (degree) of a ring or quotient object
multiplicity(R: RING): INT |
This function computes the multiplicity (or degree) of 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.
/**/ Use R ::= QQ[t,x,y,z];
/**/ multiplicity(R/ideal(x,y,z)^5);
35
|