decompose -- irreducible components of an ideal

decompose -- irreducible components of an ideal

decompose I -- compute the ideals of the irreducible components of the subvariety defined by the ideal I.

This code uses irreducibleCharacteristicSeries. See also pseudoRemainder.

At the moment, cases that involve factorization over extensions of prime fields are not handled, and a warning message is issued. The message is: 'Factorisation over algebraic function field required!'. The user should take this as an indication that the factorization is not complete.

Ways to use decompose :

decompose Ideal