Stationary axisymmetric spacetime (source code)

= Stationary axisymmetric spacetime

A stationary axisymmetric spacetime has commuting stationary and axial Killing vector fields, with the axial field having closed spacelike orbits.