A computer system for computing invariants in general relativity.

Abstract

Invariants are powerful tools to analyze and understand exact solutions to Einstein’s field equations. This work is an overview of computer code developed for the EUCOS group to compute invariants in classical gravity. Practical considerations are given for generic calculations of invariants in computer algebra systems and a detailed overview of the code developed is provided. This code is then used in several applications, such as surface identification, classification, and identification of special properties of solutions