Ndim_ :=    4   :
x1_   :=   t   :
x2_   :=   x   :
x3_   :=   y   :
x4_   :=   z   :
g11_   :=   -1   :
g13_   :=   -exp(2^(1/2)*omega*x)   :
g22_   :=   1   :
g33_   :=   -1/2*exp(2*2^(1/2)*omega*x)   :
g44_   :=   1   :
Info_:=`The Godel universe (c.f. Hawking and Ellis Section 5.7)`: