SageMath 中非正规仿射半群上单项理想的标準对
交换代数
2022-03-09 v1
摘要
我们提出 stdPairs.spyx，一个用于在尖（非正规）仿射半群环上计算单项理想的标準对的 SageMath 库。此外，stdPairs.spyx 还提供单项理想的相伴素理想、相应的重数，以及无冗余不可约准素分解。该库扩展了 Macaulay2 中多项式环上的 standardPairs 函数，并基于 arXiv:2005.10968v2 [math.AC] 中的算法。我们还提供了使该库输出与 Macaulay2 和 SageMath 的 Normaliz 包兼容的方法。
引用
@article{arxiv.2010.08903,
title = {Standard pairs of monomial ideals over non-normal affine semigroups in SageMath},
author = {Byeongsu Yu},
journal= {arXiv preprint arXiv:2010.08903},
year = {2022}
}
备注
12 pages, no figures. This library can be obtained via https://github.com/byeongsuyu/StdPairs