论文标题
MACAULAY的快速套件
FastMinors package for Macaulay2
论文作者
论文摘要
在本文中，我们介绍了fastminors.m2，这是Macaulay2中的一个软件包，旨在引入针对函数字段线性代数中计算的新方法。我们的软件包提供的一些关键功能包括：在提供的矩阵中找到给定等级的子序列（当存在时），验证戒指在编成n中是常规的，在矩阵中递归计算未成年人的理想，并找到模块的投射维度的上限。
In this article, we present FastMinors.m2, a package in Macaulay2 designed to introduce new methods focused on computations in function field linear algebra. Some key functionality that our package offers includes: finding a submatrix of a given rank in a provided matrix (when present), verifying that a ring is regular in codimension n, recursively computing the ideals of minors in a matrix, and finding an upper bound of the projective dimension of a module.
