TRACER version 1.1: A mathematica package for γ-algebra in arbitrary dimensions
TRACER version 1.1: A mathematica package for γ-algebra in arbitrary dimensions
复制标题
DOI：
10.1016/0010-4655(93)90097-v
复制
发表时间：
1993-02
影响因子：
6.3
通讯作者：
M. Jamin;M. Lautenbacher
中科院分区：
文献类型：
--
作者：
M. Jamin;M. Lautenbacher
本文描述了任意时空维γ-代数的第一个MATHEMATICA实现。它是唯一一个基于通用计算机代数系统的系统，在任意维度上以数学方式一致地处理γ5问题。TRACER包能够对γ-代数对象的字符串进行纯代数操作和跟踪操作。此外，它还提供了一组实用功能，用于重新排序、简化和提高输出的可读性。可选地，可以以适合于馈送到TEX系统中以进行高质量文本处理的形式获得输出。总的来说，TRACER包旨在作为研究相对论量子场论中高阶修正的研究人员的计算机辅助工具。给出了程序化编程方法与基于规则的编程方法的简短比较，并通过γ-代数的玩具实现来补充讨论基于规则的风格。本文详细介绍了TRACER软件包的使用方法，并计算了两个弱电流的相关函数。最后，给出了TRACER在一些常见平台上的性能数据。
This paper describes the first MATHEMATICA implementation of γ-algebra in arbitrary space-time dimensions according to the 't Hooft-Veltman scheme. It is the only system based on a general purpose computer algebra system treating the γ5-problem mathematically consistently in arbitrary dimensions. The TRACER package is capable of doing just purely algebraic manipulations as well as trace operations on strings of γ-algebra objects. In addition, it provides a set of utility functions for reordering, simplifying and improving the readability of the output. Optionally the output can be obtained in a form suitable to be fed into a TEX system for high quality text processing. As a whole, the TRACER package is intended as a computerized aid to a researcher working on higher order corrections in Relativistic Quantum Field Theories.A short comparison of procedural versus rule-based programming approaches is given and the discussion is supplemented by a toy implementation of the γ-algebra in rule-based style. The paper describes in detail the usage of the TRACER package and for further illustration a correlation function of two weak currents is calculated with the aid of TRACER. Finally, data on the performance of TRACER on some common platforms are given.