Computer algebra in gravity: Programs for (non-)Riemannian spacetimes. I
arXiv:gr-qc/9804068 · doi:10.1016/S0010-4655(98)00133-7
Abstract
Computer algebra programs are presented for application in general relativity, in electrodynamics, and in gauge theories of gravity. The mathematical formalism used is the calculus of exterior differential forms, the computer algebra system applied Hearn's Reduce with Schruefer's exterior form package Excalc. As a non-trivial example we discuss a metric of Plebanski & Demianski (of Petrov type D) together with an electromagnetic potential and a triplet of post-Riemannian one-forms. This whole geometrical construct represents an exact solution of a metric-affine gauge theory of gravity. We describe a sample session and verify by computer that this exact solution fulfills the appropriate field equations.-- Computer programs are described for the irreducible decomposition of (non-Riemannian) curvature, torsion, and nonmetricity.
28 pages, latex-file
References in corpus (2)
Cited by in corpus (15)
- The Cotton tensor in Riemannian spacetimes
- Beyond Einstein-Cartan gravity: Quadratic torsion and curvature invariants with even and odd parity including all boundary terms
- Metric-affine gauge theory of gravity II. Exact solutions
- Poincare gauge theory of gravity: Friedman cosmology with even and odd parity modes. Analytic part
- Einstein-aether theory, violation of Lorentz invariance, and metric-affine gravity
- Schwarzschild and Kerr Solutions of Einstein's Field Equation -- an introduction
- Plane-fronted waves in metric-affine gravity
- Rotating Black Holes in Metric-Affine Gravity
- The Einstein 3-form G_a and its equivalent 1-form L_a in Riemann-Cartan space
- The Kummer tensor density in electrodynamics and in gravity
- Plebański-Demiański solution of general relativity and its expressions quadratic and cubic in curvature: analogies to electromagnetism
- Generalized Reissner-Nordström solution in Metric-Affine Gravity
- A class of colliding waves in metric-affine gravity, nonmetricity and torsion shock waves
- Static Black Holes of Metric-Affine Gravity in the Presence of Matter
- Computer algebra in gravity