Sage中模块不变量的函数

问：

我是一般编程的新手，但在我的项目中，我需要在有限环 $R$ 上使用有限集合 $S = {A_1,...,A_n}$ 的 $m \times n$ 矩阵，以及它们生成的子模块 $M$。更具体地说，我想计算以下事实： Maximal lin. indep.每个矩阵的列集，最大值 lin. indep.$S$ 的子集，$M$ 的最小生成集，S 的跨度，$M$ 的长度和一个组合系列（如果存在），以及 $M$ 的最大自由子模块的自由秩（或者可能是 $M$ 的所有子模块/自由子模块的集合，这是有限的，因为 $R$ 和 $S$ 是有限的）。但是，在浏览 Sage 网站的文档时，我发现几乎没有命令可以计算上述事实以获得合适的 $R$，有人可以指出引用（某些）上述命令的来源吗？如果问题违反论坛规则，我提前道歉。