xTras Package Symbol|See Also »

DivFreeQ

DivFreeQ[expr, tensor]
returns True if expr does not contain a divergence of tensor after arbitrary commutations of derivatives, and False otherwise.
DivFreeQ[expr, tensor, cd]
only check the covariant derivative cd.