Important: The tensor package has been deprecated. Use the superseding packages DifferentialGeometry and Physics instead.
First specify the constant metric wished to be used.
>
|
|
>
|
|
| (1) |
Entering the coordinates and covariant tetrad of the Plane wave metric
>
|
|
>
|
|
>
|
|
| (2) |
Compute the covariant components of the connections.
>
|
|
Now convert Gamma to the spin coefficients in Newman-Penrose formalism.
>
|
|
| (3) |
Compute the covariant Riemann curvature tensor.
>
|
|
>
|
|
Lastly, convert Rm to the curvature components in Newman-Penrose formalism.
>
|
|
| (4) |
Now demonstrate the use of conj_pairs :
>
|
|
| (5) |