Abstract
The computer algebra system REDUCE has recently been enriched by a package on exterior calculus. Here we apply the EXCALC package to the calculation of quantities within the Poincaré gauge theory of gravity, general relativity being included in this scheme as a spcial case. Thereby we simplify and streamline earlier results found by means of tensor-analytical REDUCE calculations.
Similar content being viewed by others
References
Baekler, P., and Hehl, F. W. (1984).Phys. Lett.,A100, 392.
Baekler, P., and Hehl, F. W. (1985). InFrom SU(3) to Gravity — Papers in Honour of Yuval Ne'eman, E. Gotsman and G. Tauber, Eds. (Cambridge University Press, Cambridge).
Baekler, P., Hehl, F. W., and Mielke, E. W. (1986). InProceedings of the 4th Marcel Grossman Meeting on General Relativity, R. Ruffini, Ed. (North Holland, Amsterdam).
Burke, W. L. (1985).Applied Differential Geometry (Cambridge University Press, Cambridge).
Choquet-Bruhat, Y., DeWitt-Morette, C., and Dillard-Bleick, M. (1982).Analysis, Manifolds and Physics, rev. ed. (North Holland, Amsterdam).
Cohen, I., Frick, I., and Aman, J. E. (1984). InProceedings of the 10th International Conference on General Relativity and Gravitation, B. Bertotti et al., Eds. (Reidel, Dordrecht), p. 139.
d'Inverno, R. A. (1980). InGeneral Relativity and Gravitation (One Hundred Years after the Birth of Einstein), A. Held, Ed., Vol. 1 (Plenum Press, New York), p. 491.
Edelen, D. G. B. (1981).Programs for Calculation of Isovector Fields in the “Reduce-2” Environment, Report (Lehigh University, Bethlehem, Pennsylvania).
Edelen, D. G. B. (1985).Applied Exterior Calculus (Wiley, New York).
Ernst, F. J. (1983).Ernst's Equation Evaluator (Program on floppy disk.) (Illinois Institute of Technology, Chicago).
Hearn, A. C. (1985).REDUCE User's Manual (Rand Publication CP78. The Rand Corporation, Santa Monica, California 90406).
Hehl, F. W. (1980). InProceedings of the 6th Course of the International School of Cosmology and Gravitation on Spin, Torsion and Supergravity. P. G. Bergmann and V. de Sabbata, Eds. (Plenum Press, New York).
Hehl, F. W., and McCrea, J. D. (1986).Found. Phys.,16, 267.
Kopczynski, W. (1982).J. Phys.,A15, 493.
Lovelock, D., and Rund, H. (1975).Tensors, Differential Forms and Variational Principles (Wiley, New York).
MacCallum, M. A. H. (1984). InClassical General Relativity, Proceedings of the Conference on Classical (Non-quantum) General Relativity, London, W. B. Bonnor, J. N. Islam, and M. A. H. MacCallum, Eds. (Cambridge University Press, Cambridge), p. 145.
McCrea, J. D. (1982).J. Phys.,A15, 1587.
McCrea, J. D. (1984).Phys. Lett.,A100, 397.
McCrea, J. D. (1984). InClassical General Relativity, W. B. Bonnor, J. N. Islam, and M. A. H. MacCallum, Eds. (Cambridge University Press, Cambridge), p. 173.
Mielke, E. W. (1987).Geometrodynamics of Gauge Fields — On the Geometry of Yang-Mills and Gravitational Gauge Theories (Akademie Verlag, Berlin). (In print: English version of Habilitation Thesis, Kiel University, 1982).
Schouten, J. A. (1954).Ricci Calculus, 2nd ed. (Springer, Berlin).
Schrüfer, E. (1982).SIGSAM Bulletin,16, 27.
Schrüfer, E. (1985).EXCALC: A System for Doing Calculations in Modern Differential Geometry, User's Manual (Rand Publication, The Rand Corporation, Santa Monica, California).
Schutz, B. (1980).Geometrical Methods of Mathematical Physics (Cambridge University Press, Cambridge).
Trautman, A. (1984).Differential Geometry for Physicists, Stony Brook Lectures. (Bibliopolis, Naples).
Wallner, R. P. (1983).Acta Phys. Austr.,55, 67.
Wallner, R. P. (1985).Gen. Rel. Grav.,17, 1081.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Schrüfer, E., Hehl, F.W. & McCrea, J.D. Exterior calculus on the computer: The REDUCE-package EXCALC applied to general relativity and to the Poincaré gauge theory. Gen Relat Gravit 19, 197–218 (1987). https://doi.org/10.1007/BF00770331
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00770331