This package provides computations with components of ideals, including minimal and associated primes, radicals, and primary decompositions of ideals.

- primaryDecomposition(Ideal) -- irredundant primary decomposition of an ideal

- Michael E. Stillman <mike@math.cornell.edu>

- Types
- Hybrid, see primaryDecomposition(..., Strategy => ...)

- Functions and commands
- irreducibleDecomposition, see irreducibleDecomposition(MonomialIdeal) -- express a monomial ideal as an intersection of irreducible monomial ideals
- isPrimary -- determine whether an ideal is primary
- localize, see localize(Ideal,Ideal) -- localize an ideal at a prime ideal
- primaryComponent, see primaryComponent(Ideal,Ideal) -- find a primary component corresponding to an associated prime
- primaryDecomposition -- irredundant primary decomposition of an ideal

- Symbols
- Increment, see primaryComponent(..., Increment => ...)
- EisenbudHunekeVasconcelos, see primaryDecomposition(..., Strategy => ...)
- GTZ, see primaryDecomposition(..., Strategy => ...)
- ShimoyamaYokoyama, see primaryDecomposition(..., Strategy => ...)

- associatedPrimes(Ideal) -- find the associated primes of an ideal
- localize(Ideal,Ideal) -- localize an ideal at a prime ideal
- localize(..., Strategy => ...)
- primaryComponent(Ideal,Ideal) -- find a primary component corresponding to an associated prime
- primaryComponent(..., Strategy => ...)
- primaryComponent(..., Increment => ...)
- primaryDecomposition(Ideal), see primaryDecomposition -- irredundant primary decomposition of an ideal
- primaryDecomposition(..., Strategy => ...)