next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
PrimaryDecomposition > primaryComponent(Ideal,Ideal)

primaryComponent(Ideal,Ideal) -- find a primary component corresponding to an associated prime

Synopsis

Description

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.

See also