Computer methods in general relativity: algebraic computing

Karlhede & MacCallum [1] gave a procedure for determining the Lie algebra of the isometry group of an arbitrary pseudo-Riemannian manifold, which they intended to im- plement using the symbolic manipulation package SHEEP but never did. We have recently finished making this procedure explicit by g...

Descripción completa

Detalles Bibliográficos
Autores principales: Araujo, M E, Dray, T, Skea, J E F, Koutras, A, Krasinski, A, Hobill, D, McLenaghan, R G, Christensen, S M
Lenguaje:eng
Publicado: 1992
Acceso en línea:http://cds.cern.ch/record/2297445
Descripción
Sumario:Karlhede & MacCallum [1] gave a procedure for determining the Lie algebra of the isometry group of an arbitrary pseudo-Riemannian manifold, which they intended to im- plement using the symbolic manipulation package SHEEP but never did. We have recently finished making this procedure explicit by giving an algorithm suitable for implemen- tation on a computer [2]. Specifically, we have written an algorithm for determining the isometry group of a spacetime (in four dimensions), and partially implemented this algorithm using the symbolic manipulation package CLASSI, which is an extension of SHEEP.

Ejemplares similares