SlackIdeals公司 swMATH ID: 33429 软件作者： 安东尼奥·马奇亚（Antonio Macchia）、艾米·威比（Amy Wiebe） 描述： 《麦考利松弛的理想》2。最近，Gouveia、Thomas和作者引入了松弛实现空间，这是一种新的多面体实现空间模型。它用松弛矩阵表示每个多面体，该矩阵是通过计算每个顶点上的每个刻面不等式得到的。与经典模型不同，松弛模型自然地修改了投影变换。它本质上是代数的，是各种饱和行列式理想的正部分，为研究多面体的经典可实现性问题提供了一种新的计算工具。我们介绍了Macaulay 2的SlackIdeals包，该包提供了创建和操作凸多面体和拟阵的松弛矩阵和松弛理想的方法。松弛理想通常很难计算。为了提高松弛模型的能力，我们开发了两种简化计算的策略：我们将松弛矩阵中尽可能多的条目缩放为一个条目；然后，我们将松弛变化与更紧凑的格拉斯曼实现空间模型相结合，得到了一个简化的松弛模型。这使我们能够研究以前无法计算的松弛理想。作为应用，我们证明了著名的Perles多面体不允许有理实现，并证明了大单形球的不可实现性。 主页： https://arxiv.org/abs/2003.07382 源代码： https://bitbucket.org/macchia/slakideals/src/master/slackideals.m2 依赖项： 麦考利2 关键词： 组合数学；arXiv_路径。一氧化碳；arXiv_交换代数；数学。交流；代数几何；arXiv_路径。AG公司；麦考利2；多胞形；松弛矩阵；松懈的理想；拟阵 相关软件： 麦考利2；2L_枚举 引用于： 2文件 标准条款 1出版物描述软件 年份 麦考利松弛的理想2arXiv公司安东尼奥·马奇亚（Antonio Macchia）、艾米·威比（Amy Wiebe） 2020 5位作者引用 2 若昂·古维亚 1 特里斯特拉姆·鲍嘉 1 安东尼奥·马基亚 1 胡安·卡米洛·托雷斯 1 艾米·威比 连载1篇 2 离散和计算几何 全部的 前5名在6个字段中引用 2 凸和离散几何（52至XX） 1 组合数学（05-XX） 1 阶、格、有序代数结构（06-XX） 1 交换代数（13-XX） 1 代数几何（14-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 按年份列出的引文