SymmetricSpaceRules[cd, K] produces replacement rules for the curvature tensors of the covariant derivative cd on a symmetric space of constant curvature K.
On a symmetric space of constant curvature , the Riemann tensor takes the value
SymmetricSpaceRules gives replacement rules for the Riemann, Weyl, Ricci, tracefree Ricci, (cosmological) Einstein, (cosmological) Schouten tensors, and the Ricci and Kretschmann scalars.