SymPy verification scripts for "Frozen-in tetrad field strengths in general relativity: characterization, existence, and tetrad dependence"

SymPy scripts that verify symbolically the identities, propositions, and examples of the paper Frozen-in tetrad field strengths in general relativity: characterization, existence, and tetrad dependence (F. R. Villatoro, 2026).

The paper studies the ideal Ohm-type condition i_u F^a = 0 for the field strengths F^a = d e^a of an orthonormal tetrad and a timelike vector field u. The eight scripts follow its sections and contain 196 checks: identities with generic functions, exact rational arithmetic at sample points of tetrads without symmetries, and explicit solutions with free parameters (Friedmann-Lemaître-Robertson-Walker, Kasner, Schwarzschild, Kerr, Levi-Civita, and pp-wave spacetimes). python run_all.py runs them and compares the list of checks with the reference list in expected_output.

Requires Python 3.9 or later and SymPy (reference output produced with SymPy 1.14.0).