SpinorHelicity4D：一个用于四维旋量-螺旋度形式论的Mathematica工具箱

我们呈现Mathematica包SpinorHelicity4D，这是一个专用于四维无质量与有质量旋量-螺旋度形式论解析与数值计算的套件。该包的解析功能包括：旋量收缩与未收缩量的处理、Schouten恒等式的自动化应用以简化表达式、旋量乘积向链式的收缩、链式用Dirac迹重新表示及此类迹的求值、任意旋量量函数的求导。该包的数值功能包括：任意$n$点数值复运动学的生成（允许无质量与有质量外态）、完全数值或参数化运动学、以及在$\mathbb{R}$或$\mathbb{Q}$上的数值生成（后者提供可直接用于有限域应用的输出）。此外，该包具备用户友好、直观且高度可定制的输入选项，从而为偶尔使用者提供易用工具，同时仍支持较熟练频繁使用者的更高级应用。所有输出均以标准括号记号返回，易于解释，但同时保留对象的全部解析性质，使复制粘贴及被操纵的输出可作为新输入提供。这使其理想适用于Mathematica笔记本的前端应用，同时仍允许部署于云服务器以进行更繁重计算。