up previous next
the multiplicity (degree) of a ring or quotient object
Multiplicity(R:RING or TAGGED("Quotient")):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. The weights of
the indeterminates of the polynomial ring of M must all be 1.
M can be a module or a quotient.
Use R ::= QQ[t,x,y,z];
Multiplicity(R/Ideal(x,y,z)^5);
35
-------------------------------
|