xPPN：基于 Mathematica 的 xAct 实现参数化后牛顿形式体系

我们呈现一个用于计算机代数系统 Mathematica 的包，其实现了参数化后牛顿（PPN）形式体系。该包名为 xPPN，构建于广泛使用的张量代数包套件 xAct 之上，特别是其中的 xTensor 包。xPPN 的主要特性是提供对张量进行恰当 $3+1$ 分解的函数，以及按所谓速度阶数的微扰展开，这些是 PPN 形式体系的核心任务。此外，xPPN 实现了 PPN 形式体系中出现的各类量的规则，有助于对任意度规引力理论场方程进行微扰求解。除黎曼几何外，也实现了遥平行与对称遥平行几何。