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)