Abstract:This is the second in a series of two articles introducing the Gravitas computational general relativity framework, in which we now focus upon the design and capabilities of Gravitas's numerical subsystem, including its ability to perform general 3+1 decompositions of spacetime via the ADM formalism, its support for the definition and construction of arbitrary Cauchy surfaces as initial data, its support for the definition and enforcement of arbitrary gauge and coordinate conditions, its various algorithms for ensuring the satisfaction of the ADM Hamiltonian and momentum constraints, and its unique adaptive refinement algorithms based on hypergraph rewriting via Wolfram model evolution. Particular attention is paid to the seamless integration between Gravitas's symbolic and numerical subsystems, its ability to configure, run, analyze and visualize complex numerical relativity simulations and their outputs within a single notebook environment, and its capabilities for handling generic curvilinear coordinate systems and spacetimes with general (and often highly non-trivial) topologies using its specialized and highly efficient hypergraph-based numerical algorithms. We also provide illustrations of Gravitas's functionality for the visualization of hypergraph geometries and spacetime embedding diagrams, the ability for Gravitas's symbolic and numerical subsystems to be used in concert for the extraction of gravitational wave signals and other crucial simulation data, and Gravitas's in-built library of standard initial data, matter distributions and gauge conditions. We conclude by demonstrating how the numerical subsystem can be used to set up, run, visualize and analyze a standard yet nevertheless reasonably challenging numerical relativity test case: a binary black hole collision and merger within a vacuum spacetime (including the extraction of its outgoing gravitational wave profile).

Dimensional regularization of the gravitational interaction of point masses in the ADM formalism

Hadamard regularization of the third post-Newtonian gravitational wave generation of two point masses

Introduction to the ADM formalism

On Higher Order Gravities, Their Analogy to GR, and Dimensional Dependent Version of Duff's Trace Anomaly Relation

Dimensional reduction in numerical relativity: Modified Cartoon formalism and regularization

Light-cone Gauge Superstring Field Theory and Dimensional Regularization II

Comments on AdS 2 Gravity

Some Remarks on the Regularized Hamiltonian for Three Bosons with Contact Interactions

The Other ADM

Features of gravity-Yang-Mills hierarchies in d-dimensions

Form factors and scattering amplitudes in N=4 SYM in dimensional and massive regularizations

Comments on AdS_2 Gravity

Weighted power counting and chiral dimensional regularization

Modified Gravity in Three Dimensional Metric-Affine Scenarios

Computational General Relativity in the Wolfram Language using Gravitas II: ADM Formalism and Numerical Relativity

Massive gravity generalization of deformations

Shedding Light on Evanescent Shadows -- Exploration of non-anticommuting $γ_5$ in Dimensional Regularisation

Regularized Conformal Electrodynamics: Novel C-metric in (2+1) Dimensions

Hamiltonian formulation of general relativity and post-Newtonian dynamics of compact binaries

Post AdS/CFT