irreducibleCharacteristicSeries I -- computes the irreducible characteristic series of the ideal I.
This is an internal routine used by decompose.
Ways to use irreducibleCharacteristicSeries :