Abstract
We report on a program, written in the computer algebra system SHEEP, for verifying the components of Killing tensors and conformal Killing tensors. We give some examples, including the components of the Killing tensor admitted by the Kerr metric. We also note that the explicit form of all conformal Killing tensors for a subclass of the Petrov typeD solutions is known.
Similar content being viewed by others
References
Frick, I. (1977).The Computer Algebra System SHEEP; What it Can and Cannot Do in General Relativity, Report No. 77-14 (University of Stockholm, Sweden).
Aman, J. E. (1982).Symbolic Computer Calculations in General Relativity, Ph.D. thesis (University of Stockholm, Sweden).
Prince, G. (1986).The Search for Homothetic Killing Tensors, International Conference on General Relativity and Gravitation, Vol. 1 (Stockholm, Sweden), p. 62.
Kramer, D., Stephani, H., MacCallum, M. A. H., and Herlt, E. (1980).Exact Solutions of Einstein's Field Equations (Berlin and Cambridge University Press, Cambridge, England), p. 350–352.
Joly, G. C. (1986).Applications of Computer Algebra Systems to General Relativity Theory, Ph.D. thesis (University of London, England).
Kerr, R. P. (1963).Phys. Rev. Lett.,11, 237.
Walker, M., and Penrose, R. (1970).Commun. Math. Phys.,18, 265.
Faridi, A. M. (1986).Gen. Rel. Crav.,18, 271.
Dolan, P. (1986). Private communications.
Kimura, M. (1976).Tensor,30, 27.
Caviglia, G., Zordan, Z., and Salmistraro, F. (1982).Int. J. Th. Phys.,5, 391.
Kinnersley, W., and Walker, M. (1970).Phys. Rev. D.,2, 1359.
Aman, J. E. (1984). InClassical General Relativity, W. B. Bonnor, J. N. Islam, and M. A. H. MacCallum, eds. (Cambridge University Press, Cambridge, England), p. 1–3.
Newman, E. T., and Penrose, R. (1962).J. Math. Phys.,3, 566.
Debever, R., Karman, N., and McLenaghan, R. G. (1982).Phys. Lett.,93, 399.
Woodhouse, N. M. J. (1975).Commun. Math. Phys.,44, 9.
Dray, T. (1986). Private communication.
Hornfeldt, L. (1980). InAbstract of GR9, F. Schmutzer, ed. (GR9 Organising Committee, Jena), p. 102–103.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Joly, G.C. The verification of Killing tensor components for metrics in general relativity using the computer algebra system SHEEP. Gen Relat Gravit 19, 841–845 (1987). https://doi.org/10.1007/BF00768218
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00768218