Computing multiplicity sequences. (English) Zbl 1543.13020
Summary: The MultiplicitySequence package for Macaulay2 computes the multiplicity sequence of a graded ideal in a standard graded ring over a field, as well as several invariants of monomial ideals related to integral dependence. We discuss two strategies that were implemented for computing multiplicity sequences: one via the bivariate Hilbert polynomial, and the other via the technique of general elements.
MSC:
| 13H15 | Multiplicity theory and related topics |
| 13-04 | Software, source code, etc. for problems pertaining to commutative algebra |
References:
| [1] | 10.1215/kjm/1250519127 · Zbl 0816.13019 · doi:10.1215/kjm/1250519127 |
| [2] | 10.1007/s002080050128 · Zbl 0894.14005 · doi:10.1007/s002080050128 |
| [3] | 10.1016/S0022-4049(02)00157-3 · Zbl 1088.13501 · doi:10.1016/S0022-4049(02)00157-3 |
| [4] | 10.1007/PL00004900 · doi:10.1007/PL00004900 |
| [5] | ; Gaffney, Terence; Gassler, Robert, Segre numbers and hypersurface singularities, J. Algebraic Geom., 8, 4, 695, 1999 · Zbl 0971.13021 |
| [6] | 10.4310/MRL.2013.v20.n4.a9 · Zbl 1295.13035 · doi:10.4310/MRL.2013.v20.n4.a9 |
| [7] | 10.1112/plms/pdv005 · Zbl 1314.13042 · doi:10.1112/plms/pdv005 |
| [8] | 10.1007/BF03191222 · Zbl 1216.13016 · doi:10.1007/BF03191222 |
| [9] | 10.1006/jabr.1994.1182 · Zbl 0815.13012 · doi:10.1006/jabr.1994.1182 |
| [10] | 10.1016/j.jpaa.2010.02.008 · Zbl 1204.13017 · doi:10.1016/j.jpaa.2010.02.008 |
| [11] | 10.1016/j.jalgebra.2013.01.001 · Zbl 1285.13007 · doi:10.1016/j.jalgebra.2013.01.001 |
| [12] | 10.1007/s00208-020-02059-5 · Zbl 1471.13023 · doi:10.1007/s00208-020-02059-5 |
| [13] | 10.1017/s0305004100034800 · doi:10.1017/s0305004100034800 |
| [14] | ; Teissier, Bernard, Cycles évanescents, sections planes et conditions de Whitney, Singularités à Cargèse. Astérisque, 7-8, 285, 1973 |
| [15] | 10.1017/S0305004111000144 · Zbl 1220.13006 · doi:10.1017/S0305004111000144 |
| [16] | ; van der Waerden, B. L., On Hilbert’s function, series of composition of ideals and a generalization of a theorem of Bezout, Nederl. Akad. Wetensch. Proc. Ser. A, 31, 749, 1929 · JFM 54.0190.02 |
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.
