Computation of algebraic properties of elementary particle reactions using a digital computer

ABSTRACT

A large number of calculations in high-energy elementary particle physics involve the manipulation of complicated algebraic expressions containing both tensor and noncommutative matrix quantities. Many of these calculations take several months to complete, although the operations involved follow straightforward rules. In this paper a program is described, which has been developed in LISP for solving such problems. The manner in which these problems are encountered is outlined, and their representation in the computer discussed. At present, about six months of human work takes less than fifteen minutes on an IBM 7090. Limitations of the present system and future plans are also outlined.

REFERENCES

• 1: TSAI, Y. S., AND HEARN, A. C. Differential cross section for e+ + e- --> W+ + W- --> e- + ve + mu+ + vmu. Phys. Rev. 140, B721 (1965).
• 2: SWANSON, S.M. FTRACE: a FAP routine for Dirae Gamma algebra. Rep. No. ITP-120, Inst. of Theoretical Physics, Stanford U., unpublished.
• 3: HEXT, JAN. An expression input routine for LISP. Stanford Artificial Intelligence Proj. Memo No. 18, July 24, 1964, unpublished.
• 4: LEWIN, L. Dilogarithms and Associated Functions. Mac- Donald, London, England, 1958.
• 5: CAMPBELL, J. Clarendon Lab., Oxford, England, private communication.