Abstract:We introduce a new, open-source computational general relativity framework for the Wolfram Language called Gravitas, which boasts a number of novel and distinctive features as compared to the many pre-existing computational and numerical relativity frameworks currently available within the open-source community. These include, but are not limited to: seamless integration of its powerful symbolic and numerical subsystems, and, by extension, seamless transition between analytic/continuous representations and numerical/discrete representations of arbitrary spacetime geometries; highly modular, general and extensible representations of spacetime geometries, spacetime topologies, gauge conditions, coordinate systems, matter fields, evolution equations and initial data; ability to set up and run complex numerical relativity simulations, and to perform 2D and 3D visualizations, symbolic computations and numerical analysis (including the extraction of gravitational wave signals) on the resulting data, all from within a single notebook environment; and a totally-unstructured adaptive refinement scheme based on hypergraph rewriting, allowing for exceedingly efficient discretization and numerical evolution of Cauchy initial data for a wide range of challenging computational problems involving strong relativistic field dynamics. In this first in a series of two articles covering the framework, we focus on the design and capabilities of Gravitas's symbolic subsystem, including its general and flexible handling of arbitrary geometries parametrized by arbitrary curvilinear coordinate systems (along with an in-built library of standard metrics and coordinate conditions), as well as its various high-level tensor calculus and differential geometry features. We proceed to show how this subsystem can be used to solve the Einstein field equations both analytically and numerically.

On the use of algebraic programming in the general relativity

General Relativity: New insights from a Geometric Algebra approach

Differential geometry and general relativity with algebraifolds

Specialized computer algebra system for application in general relativity

Massively parallel computations in algebraic geometry - not a contradiction

Cadabra and Python algorithms in General Relativity and Cosmology I: Generalities

Erlangen Program at Large: Outline

On the Mathematics of Coframe Formalism and Einstein-Cartan Theory -- A Brief Review

Cubic algebraic equations in gravity theory, parametrization with the Weierstrass function and nonarithmetic theory of algebraic equations

Algebra Environments II. Algebra Homomorphisms and Derivations

Supergravity in the Geometric Approach and its Hidden Graded Lie Algebra

Generalized functions as a tool for nonsmooth nonlinear problems in mathematics and physics

Conformal Geometric Algebra and Galilean Spacetime

Computational General Relativity in the Wolfram Language using Gravitas I: Symbolic and Analytic Computation

The universe is not a Lie, but actually an Hopf, algebra

A pedagogical review of gravity as a gauge theory

Current Algebra and Generalised Cartan Geometry

Symbolic Studies of Maxwell's Equations in Space-Time Algebra Formalism

Relatively complicated? Using models to teach general relativity at different levels

Computational algebra and algebraic curves

Non-smooth differential geometry and algebras of generalized functions