International Symposium on Symbolic and Algebraic Manipulation

EUROSAM 1979: Symbolic and Algebraic Computation pp 546-557 | Cite as

γ-algebra algorithms for canonical hypercomplex representations

  • Alfred Woll
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 72)


The Dirac γ-matrices which are used in relativistic quantum field theory to describe free and interacting fermions are treated as generating elements of a 16-dimensional Clifford-algebra, which may be viewed construed from the non-interfering product of two quaternion skew fields. A canonical form for the elements of this algebra is defined; the corresponding arithmetic is implemented in ALDES using the SAC-2 system at Karlsruhe.

Bounds for the maximal computing times of the algorithms are given. A remarkable fact is that in this representation the algorithm for getting the trace of a γ-expression essentially consists in a single step. The computing times are polynomial functions of the computing times for multivariate polynomial arithmetic.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Ali]
    Alicki, R., Journ. Phys. A: Math. Gen., Vol. 11, No. 9 (1978), 1807Google Scholar
  2. [Bjo]
    Bjorken, J.D., and Drell, S.D., Relativistic Quantum Mechanics, McGraw Hill, New York 1964Google Scholar
  3. [Ima]
    Imaeda, K., Nuovo Cim. B 32 (1976), 138Google Scholar
  4. [Kah]
    Kahane, J., Journ. Math. Phys. 9 (1968), 1732Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • Alfred Woll
    • 1
  1. 1.Universität KarlsruheGermany

Personalised recommendations