multiplicitySequence I
multiplicitySequence(i, I)
Given a (graded) ideal I, this function computes the multiplicity sequence as defined in [0]. Specifying Strategy => "genElts" will use the general element method as in [4]: one can specify the "complexity" of the general elements by using the option minTerms.



The jmultiplicity of I is the lth number, where l is the analytic spread of I.

Note that this function does not require the ambient ring to be a polynomial ring:





One can specify a particular element in the multiplicity sequence:

There are two conventions in use about the order of the sequence. The current function follows that of [4] and in this setting the jmultiplicity of I appears at the lth spot, where l is the analytic spread of I. If the ideal I is not graded, this function may produce incorrect results.
The object multiplicitySequence is a method function with options.