Computational Aspects of the Calculation of Isometry Groups in General Relativity

Abstract

We describe the ideas behind the package 'isometry', implemented in Maple to calculate isometry groups of dimensions 2, 3 and 4 in General Relativity. The package extends the functionality of previous programs written to perform invariant classification of space-times in General Relativity. Programming solutions used to surmount problems encountered with the calculation of eigenvectors and the determination of the signs of expressions are described. We also show how the package can be used to find the Killing vectors of a space-time.