xTras Package Symbol|See Also »

RiemannSimplification

RiemannSimplification[][expr]
simplifies curvature tensors in expr.
RiemannSimplification[g][expr]
only simplifies curvature tensors of the metric g in expr.
RiemannSimplification[g, l][expr]
only simplifies curvature tensors of the metric g up to the lth step in expr.
  • RiemannSimplification is essentially the Invar function RiemannSimplify wrapped in an InvarWrapper
  • RiemannSimplification works for any values of the option UseMetricOnVBundle of ToCanonical, the option AllowUpperDerivatives of ContractMetric, $CommuteCovDsOnScalars, and irrespective of automatic curvature relations.
  • The Invar database must be installed in order for RiemannSimplification to work correctly. It can be downloaded from http://www.xact.es/Invar/.