Maxima Function
checkdiv ()
computes the covariant divergence of the mixed second rank tensor
(whose first index must be covariant) by printing the
corresponding n components of the vector field (the divergence) where
n = dim
. If the argument to the function is g
then the
divergence of the Einstein tensor will be formed and must be zero.
In addition, the divergence (vector) is given the array name div
.