Calculations involving symbolic powers. (English) Zbl 1442.13003
Summary: Symbolic powers is a classical commutative algebra topic that relates to primary decomposition, consisting, in some circumstances, of the functions that vanish up to a certain order on a given variety. However, these are notoriously difficult to compute, and there are seemingly simple questions related to symbolic powers that remain open even over polynomial rings. In this paper, we describe a Macaulay2 software package that allows for computations of symbolic powers of ideals and which can be used to study the equality and containment problems, among others.
MSC:
| 13-04 | Software, source code, etc. for problems pertaining to commutative algebra |
| 13F20 | Polynomial rings and ideals; rings of integer-valued polynomials |
| 13A15 | Ideals and multiplicative ideal theory in commutative rings |
References:
| [1] | 10.1090/S1056-3911-09-00530-X · Zbl 1198.14001 · doi:10.1090/S1056-3911-09-00530-X |
| [2] | 10.1007/s10801-016-0693-7 · Zbl 1352.13012 · doi:10.1007/s10801-016-0693-7 |
| [3] | 10.1017/S0013091516000110 · Zbl 1376.13010 · doi:10.1017/S0013091516000110 |
| [4] | ; Dao, Singularities and foliations: geometry, topology and applications. Springer Proc. Math. Stat., 222, 387 (2018) |
| [5] | 10.1016/j.jalgebra.2015.07.022 · Zbl 1329.13035 · doi:10.1016/j.jalgebra.2015.07.022 |
| [6] | 10.1007/s002220100121 · Zbl 1076.13501 · doi:10.1007/s002220100121 |
| [7] | 10.1016/j.jpaa.2018.11.019 · Zbl 1430.13003 · doi:10.1016/j.jpaa.2018.11.019 |
| [8] | 10.1007/s002220100176 · Zbl 1061.13005 · doi:10.1007/s002220100176 |
| [9] | 10.1007/s00222-018-0813-1 · Zbl 1436.13009 · doi:10.1007/s00222-018-0813-1 |
| [10] | ; Nagata, Local rings. Interscience Tracts in Pure Appl. Math, 13 (1962) · Zbl 0123.03402 |
| [11] | 10.1006/jsco.1996.0052 · Zbl 0874.13022 · doi:10.1006/jsco.1996.0052 |
| [12] | 10.1007/s12215-016-0281-7 · Zbl 1386.14045 · doi:10.1007/s12215-016-0281-7 |
| [13] | 10.1007/BF02413926 · Zbl 0039.03301 · doi:10.1007/BF02413926 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
