This package gives the ability to compute symbolic powers, and related invariants, of ideals in a polynomial ring or a quotient of a polynomial ring. For example, in the context of the default behavior, symbolicPower assumes the following definition of the symbolic power of an ideal $I$, $$I^{(n)} = \cap_{p \in Ass(R/I)}(I^nR_p \cap R ),$$ as defined by M. Hochster and C. Huneke.
Alternatively, as defined in Villarreal, symbolicPower has the option to restrict to minimal primes versus use all associated primes with UseMinimalPrimes. In particular, the symbolic power of an ideal $I$ is defined as $$I^{(n)} = \cap_{p \in Min(R/I)}(I^nR_p \cap R ),$$ where $Min(R/I)$ is the set of minimal primes in $I$,
Version 2.0 of this package was accepted for publication in volume 9 of The Journal of Software for Algebra and Geometry on 20 May 2019, in the article Calculations involving symbolic powers (DOI: 10.2140/jsag.2019.9.71). That version can be obtained from the journal.
This documentation describes version 2.0 of SymbolicPowers.
If you have used this package in your research, please cite it as follows:
|
The object SymbolicPowers is a package, defined in SymbolicPowers.m2.
The source of this document is in SymbolicPowers.m2:653:0.