OSCAR 中的拟阵
组合数学
2025-05-21 v1 代数几何
摘要
OSCAR 是一个创新的计算机代数系统，它组合并扩展了四大基石系统的能力——GAP（群论）、Singular（代数与代数几何）、Polymake（多面体几何）和 Antic（数论）。在此，我们介绍 OSCAR 中处理拟阵的模块部分，该部分将作为即将出版的 OSCAR 书籍的一章出现。拟阵是组合数学中基础且被积极研究的对象。拟阵推广了向量空间中的线性相关性以及图论的诸多方面。此外，拟阵构成了热带几何的基石，也是代数几何与组合数学之间的深层联系。我们的重点尤其在于计算拟阵的实现空间与 Chow 环。
引用
@article{arxiv.2311.08792,
title = {Matroids in OSCAR},
author = {Daniel Corey and Lukas Kühne and Benjamin Schröter},
journal= {arXiv preprint arXiv:2311.08792},
year = {2025}
}
备注
13 pages, 1 figure