Working with tetrads and the spin connection
Using sagemanifolds, is there any way to work within the tetrad formalism and calculate the spin connection coefficients for some specified spacetime manifold and choice of vierbein?