ProductInvariants[g, order]
gives all products of single invariants of the Riemann tensor at order in derivatives of the metric g.
  • A single invariant is a monomial of Riemann tensors.
  • The second argument order has standard level specitification.
  • The Invar database must be installed in order for ProductInvariants to work correctly. It can be downloaded from
  • The following options can be given:
IncludeDualsFalsewhether to include dual invariants or not.