Abstract
The curvature tensor of space-time can be described most concisely by giving the components of the Weyl and Ricci tensors relative to a complex null tetrad. The Newman-Penrose equations provide a simple and direct algorithm for calculating these components. This paper describes a computer program, written in the symbolic manipulation language CAMAL, which performs this calculation. Comparisons are made with the classical tensorial method of calculation, and some applications are discussed.
Similar content being viewed by others
References
d'Inverno, R. A. (1975).Gen. Rel. Grav.,6, 567.
Cohen, H. I., Leringe, O., and Sundblad, Y. (1976).Gen. Rel. Grav.,7, 269.
Harrison, G. H. (1969).J. Comput. Phys.,4, 594.
Ernst, F. J. (1968). 7090 Subroutines: Exterior Calculus, Proceedings of the Relativity Seminar PORSII-9, Illinois Institute of Technology.
Fitch, J. (1976), CAMAL Manual (unpublished), available from the Computer Laboratory, University of Cambridge.
Newman, E. T., and Penrose, R., (1962).J. Math. Phys.,3, 566.
Sachs, R. K., (1962).Proc. R. Soc. London A,270, 103.
Cohen, J. M., and Kegeles, L. S. (1974).Phys. Rev. D,10, 1070.
Griffiths, J. B., (1975).Math. Proc. Cambridge Phil. Soc.,77, 559.
McLenaghan, R. G., and Tariq, N. (1975). “On a Solution of the Einstein-Maxwell Equations Admitting a Nonsingular Electromagnetic Field,” preprint, University of Waterloo.
Hawking, S. W., and Ellis, G. F. R. (1973).The large scale structure of space-time (Cambridge University Press).
Geheniau, J., and Debever, R. (1955). “Les Quatorze Invariants de Courbure de l'espace Riemannien a Quatre Dimensions,” inJubilee of Relativity Theory, Mercier, A., and Kervaire, M., eds. (Birkhauser Verlag, Basel).
Greenberg, P. J. (1972).Stud. Appl. Math.,51, 277.
Campbell, S. J. (1976). “Symbolic Computation in General Relativity,” M. Math, thesis, University of Waterloo.
d'lnverno, R. A., and Russell-Clark, R. A. (1971).J. Math. Phys.,12, 1258.
Fitch, J. P. (private communication).
Hon, E. (1975). “Applications of REDUCE to some Problems in General Relativity,” M. Math, essay, University of Waterloo.
Szafron, D. A., and Wainwright, J. (1977).J. Math. Phys.,18, 1668.
Ernst, F. J. (1968).Phys. Rev.,167, 1175.
Bondi, H., van der Burg, M. G. J., and Metzner, A. W. K. (1962).Proc. R. Soc. London A,269, 21 (1962).
Debever, R. (1976). “Structures Pre-Maxwelliennes Involutives en Relativite General,” preprint, Universite Libre de Bruxelles.
Bose, S. K. (1975).J. Math. Phys.,16, 772.
Ernst, F. J. (1977). “Coping with Different Languages in the Null Tetrad Formulation of General Relativity,” preprint, University of Waterloo.
Frick, I. (1977). “The Computer Algebra System SHEEP, What It Can and Cannot Do in General Relativity,” preprint, Institute of Physics, University of Stockholm.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Campbell, S.J., Wainwright, J. Algebraic computing and the Newman-Penrose formalism in general relativity. Gen Relat Gravit 8, 987–1001 (1977). https://doi.org/10.1007/BF00759742
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00759742