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