Macaulay2中的匹配域（Matching Fields）
Matching Fields in Macaulay2
AI总结：
本文介绍了Macaulay2的MatchingFields软件包，说明匹配域的组合数学性质，该包可构造匹配域及相关代数几何对象并检验其相干性等属性，同时提出了相关开放问题。
摘要：
本文介绍了面向Macaulay2的MatchingFields（匹配域）软件包，并列举了若干待解决问题。匹配域是一类组合对象，其数据编码了A型格拉斯曼流形或部分旗簇的候选环面退化。每个相干匹配域都对应相应热带簇的某个极大锥。该软件包提供了构造匹配域及其环、理想、多面体与拟阵的方法，还具备检验匹配域是否具备相干性、连接性，以及是否能产生环面退化的功能。
英文摘要：
This article introduces the package MatchingFields for Macaulay2 and highlights some open problems. A matching field is a combinatorial object whose data encodes a candidate toric degeneration of a Grassmannian or partial flag variety of type A. Each coherent matching field is associated to a certain maximal cone of the respective tropical variety. The MatchingFields package provides methods to construct matching fields along with their rings, ideals, polyhedra and matroids. The package also supplies methods to test whether a matching field is coherent, linkage and gives rise to a toric degeneration.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
