 Cubic trace tensor of a Lie algebra representation

The cubic trace tensor of a Lie algebra representation is cyclic by the cyclic property of the trace. It need not be fully antisymmetric. Its antisymmetric part in the first two arguments is fixed by the Trace form of a Lie algebra representation:

// Target: lie-theory.bigb