本文介绍了Macaulay2软件包ConnectionMatrices的理论基础，并解释了如何使用该软件包。对于在权向量依赖的消去项序下具有有限正则秩的Weyl代数中的左理想，我们实现了以连接形式计算所编码的线性偏微分方程组的算法。同时，我们还实现了有理函数域上的基变换对应的规范变换。通过示例演示了所有实现的算法。

In this article, we describe the theoretical foundations of the Macaulay2 package ConnectionMatrices and explain how to use it. For a left ideal in the Weyl algebra that is of finite holonomic rank, we implement the computation of the encoded system of linear PDEs in connection form with respect to an elimination term order that depends on a chosen positive weight vector. We also implement the gauge transformation for carrying out a change of basis over the field of rational functions. We demonstrate all implemented algorithms with examples.