xTras Package Symbol

CurvatureRelationsQ

CurvatureRelationsQ[cd]
returns True if all of the curvature relations for the covariant derivative cd have been set as automatic rules for the curvature tensors, and False otherwise.
  • The curvature relations are replacement rules that send contractions of the Riemann tensor to the Ricci tensor or Ricci scalar.
  • The curvature relations are usually set during the definition of a covariant derivative or metric through the option CurvatureRelations.