EinsteinSpaceRules

EinsteinSpaceRules[cd, K]
produces replacement rules for the curvature tensors of cd on an Einstein space of curvature K.
  • On an Einstein space of curvature K, the Einstein tensor takes the value .
  • EinsteinSpaceRules does not return rules for the Riemann and Weyl tensors, nor the Kretschmann scalar.