PrimaryDecomposition : Table of Contents

• PrimaryDecomposition -- primary decomposition and associated primes routines for ideals and modules

  • associatedPrimes -- find associated primes
  • associated primes
  • primaryDecomposition -- irredundant primary decomposition of an ideal
  • primary decomposition
  • primaryComponent -- find a primary component corresponding to an associated prime
  • localize -- localize an ideal at a prime ideal
• irreducibleDecomposition -- express a monomial ideal as an intersection of irreducible monomial ideals
• isPrimary -- determine whether a submodule is primary
• kernelOfLocalization -- the kernel of the localization map
• primaryDecomposition(Module) -- irredundant primary decomposition of a module
• regSeqInIdeal -- a regular sequence contained in an ideal
• removeLowestDimension -- remove components of lowest dimension
• strategies for computing primary decomposition
• topComponents -- compute top dimensional component of an ideal or module