Slavnov-Taylor1.0: A Mathematica package for computation in BRST formalism

Abstract
Slavnov-Taylor is a Mathematica package which allows us to perform automatic symbolic computation in BRST formalism. This article serves as a self-contained guide to prospective users, and indicates the conventions and approximations used.

Title of program: Slavnov-Taylor
Catalogue Id: ADSS_v1_0

Nature of problem
Symbolic computation in the Slavnov-Taylor formalism for gauge theories in 4-Dimensional space-time based on a semi-simple compact Lie group for general BRS transformations.

Versions of this program held in the CPC repository in Mendeley Data
ADSS_v1_0; Slavnov-Taylor; 10.1016/S0010-4655(03)00462-4

This program has been imported from the CPC Program Library held at Queen's University Belfast (1969-2018)

摘要
Slavnov-Taylor是一款可在BRST（贝契-鲁埃勒-斯塔拉-蒂特科夫，Becchi-Rouet-Stora-Tyutin）形式主义框架下实现自动符号计算的Mathematica软件包。本文面向潜在用户提供完整使用指南，并阐明了所采用的约定与近似方法。

程序名称：Slavnov-Taylor
目录编号：ADSS_v1_0

问题性质
针对基于半单紧李群的四维时空规范场论，开展一般BRST变换下的Slavnov-Taylor形式主义符号计算。

该程序在Mendeley数据中的CPC知识库留存版本为：
ADSS_v1_0; Slavnov-Taylor; 10.1016/S0010-4655(03)00462-4

本程序源自贝尔法斯特女王大学维护的CPC程序库（1969-2018年）。