next
| previous |
forward
| backward | up | top |
index
|
toc
|
directory
|
Macaulay 2 web site
PrimaryDecomposition
Description
This package provides computations with components of ideals, including minimal and associated primes, radicals, and primary decompositions of ideals.
See also
primaryDecomposition(Ideal)
-- irredundant primary decomposition of an ideal
Author
Michael E. Stillman
<
mike@math.cornell.edu
>
Version
This documentation describes version 1.0 of PrimaryDecomposition.
Source code
The source code is in the file
PrimaryDecomposition.m2
.
Exports
Types
Hybrid, see
primaryDecomposition(..., Strategy => ...)
Functions
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 => ...)
Menu
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 => ...)