WOLFRAM LANGUAGE FEATURED EXAMPLE

Tensor Canonicalization

The Wolfram Language 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.

    
Declare to be a rank-4 tensor in dimension with the transposition symmetries of the Riemann tensor. There are then 105 possible complete contractions of :
In[1]:=
Click for copyable input
Out[1]=
However, due to symmetry, there are only nine possible resultsfive 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:
In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=
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:
In[4]:=
Click for copyable input
Out[4]=