Slavnov-Taylor1.0: A Mathematica package for computation in BRST formalism
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. Program summary Title of program: Slavnov-Taylor Catalogue identifier: ADSS Program summary URL: http://cpc.cs.qub.ac.uk/summaries/ADSS Program obtainable from: CPC Program Library, Queen's University of Belfast, N. Ireland Programming Language: Mathematica 4.0 Platform: Any platform supporting Mathematica 4.0 Computers tested on: Pentium PC Operating systems under which the program has been tested: Linux Memory required to execute: Minimal: 1.254.784 bytes, Standard: 1.281.248 bytes No. of bytes in distributed program, including test data, etc.: 8368 bytes Distribution format: tar gzip file Keywords: Slavnov-Taylor, BRST, Mathematica Nature of physical 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 a general BRS transformations. Restrictions on the complexity of the problem: Only matter in the adjoint is allowed. Typical running time: less than one second (C) 2003 Elsevier B.V. All rights reserved.
slavnov-taylor mathematica brst