Irreducible decomposition of polynomial idealsE. FortunaP. Gianniet al.2005Journal of Symbolic Computation