Let $g_{\mathrm{ab}}$ be metric (of any signature) on the tangent bundle of a manifold $M$ of dimension$n\>2.$ Let the Ricci tensor of $g$ be $R_{\mathrm{ab}}$ with scalar curvature $R\=g^{\mathrm{ab}}{R}_{\mathrm{ab}}$. The the Schouten tensor $S_{\mathrm{ab}}$of $g_{\mathrm{ab}}$ is the symmetric tensor

The first calling sequence computes the curvature tensor, Ricci tensor, and Ricci Scalar directly from the given metric. The second calling sequence uses the given curvature tensor ${R^a}_{ \mathrm{bcd}}^{}$ to compute the Ricci tensor via $R_{\mathrm{bd}}\={R^a}_{ \mathrm{bad}}^{}$and then computes the scalar curvature using the given metric via $R \=g^{\mathrm{ab}}{R}_{\mathrm{ab}}\.$

This command is part of the DifferentialGeometry:-Tensor package, and so can be used in the form SchoutenTensor(...) only after executing the command with(DifferentialGeometry) and with(Tensor) in that order. It can always be used in the long form DifferentialGeometry:-Tensor:-ProjectiveCurvature.

$\mathrm{with}\left(\mathrm{DifferentialGeometry}\right)\:$$\mathrm{with}\left(\mathrm{Tensor}\right)\:$

$\mathrm{DGsetup}\left(\left[x\,y\,z\right]\,P\right)$

$\mathrm{frame\; name:\; P}$

$g≔\mathrm{evalDG}\left(\exp \left(\mathrm{\lambda }x\right)\left(\mathrm{dx}\&t\mathrm{dx}+\mathrm{dy}\&t\mathrm{dy}+\mathrm{dz}\&t\mathrm{dz}\right)\right)$

$g:={\ⅇ}^{\mathrm{\λ}x}\mathrm{dx}\mathrm{dx}\+{\ⅇ}^{\mathrm{\λ}x}\mathrm{dy}\mathrm{dy}\+{\ⅇ}^{\mathrm{\λ}x}\mathrm{dz}\mathrm{dz}$

$\mathrm{SchoutenTensor}\left(g\right)$

$\frac{1}{8}{\mathrm{\λ}}^2\mathrm{dx}\mathrm{dx}-\frac{1}{8}{\mathrm{\λ}}^2\mathrm{dy}\mathrm{dy}-\frac{1}{8}{\mathrm{\λ}}^2\mathrm{dz}\mathrm{dz}$

$\mathrm{DGsetup}\left(\left[x\,y\,z\right]\,P\right)$

$\mathrm{frame\; name:\; P}$

$g≔\mathrm{evalDG}\left(\exp \left(\mathrm{\lambda }x\right)\left(\mathrm{dx}\&t\mathrm{dx}+\mathrm{dy}\&t\mathrm{dy}+\mathrm{dz}\&t\mathrm{dz}\right)\right)$

$g:={\ⅇ}^{\mathrm{\λ}x}\mathrm{dx}\mathrm{dx}\+{\ⅇ}^{\mathrm{\λ}x}\mathrm{dy}\mathrm{dy}\+{\ⅇ}^{\mathrm{\λ}x}\mathrm{dz}\mathrm{dz}$

$R≔\mathrm{CurvatureTensor}\left(g\right)$

$R:=-\frac{1}{4}{\mathrm{\λ}}^2\mathrm{D\_y}\mathrm{dz}\mathrm{dy}\mathrm{dz}\+\frac{1}{4}{\mathrm{\λ}}^2\mathrm{D\_y}\mathrm{dz}\mathrm{dz}\mathrm{dy}\+\frac{1}{4}{\mathrm{\λ}}^2\mathrm{D\_z}\mathrm{dy}\mathrm{dy}\mathrm{dz}-\frac{1}{4}{\mathrm{\λ}}^2\mathrm{D\_z}\mathrm{dy}\mathrm{dz}\mathrm{dy}$

$\mathrm{SchoutenTensor}\left(g\,R\right)$

$\frac{1}{8}{\mathrm{\λ}}^2\mathrm{dx}\mathrm{dx}-\frac{1}{8}{\mathrm{\λ}}^2\mathrm{dy}\mathrm{dy}-\frac{1}{8}{\mathrm{\λ}}^2\mathrm{dz}\mathrm{dz}$