WOLFRAM LANGUAGE FEATURED EXAMPLE
Mathematica includes a powerful tensor canonicalizer, which can bring expressions involving products, contractions, and transpositions of tensors with symmetries into a standard form. From these standard forms, computations can be optimized, and new identities can be derived.
to be a rank-4 tensor in dimension
with the transposition symmetries of the Riemann tensor. There are then 105 possible complete contractions of
However, due to symmetry, there are only nine possible results—
five if sign is ignored. The following list gives the canonical form of each such contraction, and the table following it illustrates the possible nonzero contractions:
The canonicalizer uses state-of-the-art algorithms to return answers quickly. A tensor expression involving 50 contractions can be canonicalized in a fraction of a second: