Q is topComponents(I + P^m), for sufficiently large m. The criterion that Q is primary is given in Eisenbud-Huneke-Vasconcelos, Invent. Math. 110 (1992) 207-235. However, we use
localize(Ideal,Ideal).
Author and maintainer: C. Yackel, cyackel@math.indiana.edu. Last modified June, 2000.