PROCRUSTES: A computer algebra package for post-Newtonian calculations in General Relativity

TL;DR

PROCRUSTES is a Maple-based computer algebra package designed to facilitate post-Newtonian calculations in General Relativity, enabling verification, exploration, and numerical input generation for complex geometric and physical quantities.

Contribution

It introduces a modular, user-modifiable package that automates post-Newtonian computations in General Relativity, streamlining calculations and verification processes.

Findings

Supports explicit calculation of geometric quantities and field equations.

Enables verification of hand calculations in post-Newtonian approximation.

Facilitates generation of input data for numerical simulations.

Abstract

We report on a package of routines for the computer algebra system Maple which supports the explicit determination of the geometric quantities, field equations, equations of motion, and conserved quantities of General Relativity in the post-Newtonian approximation. The package structure is modular and allows for an easy modification by the user. The set of routines can be used to verify hand calculations or to generate the input for further numerical investigations.