The notation for Kronecked delta used in Redberry is ordinary `d^a_b`

and similarly for other index types (`d^A_B`

, `d^\\alpha_\\beta`

etc.). Kronecker delta are automatically symmetric:

println 'd^a_b - d_b^a'.t

> 0

println 'd_A^B + d^B_A'.t

> 2*d^B_A

Raising and lowering of Kronecker delta indices may produce Metric tensor:

println ('{^a -> _a}'.mapping >> 'd^a_b'.t)

> g_ab

The transformation that simplifies contractions with Kronecker deltas is EliminateMetrics:

println EliminateMetrics >> 'd_a^m*F^ab*d_b^n'.t

> F^mn

In addition to `d^a_b`

notation Redberry also uses `g^a_b`

, which is the notation for Metric tensor with one upper and one lower index.

One can specify different name for Kronecker tensor by putting the following line in the beginning of the code:

//change default metric name CC.current().setKroneckerName('f') println EliminateMetrics >> 'f_a^m*F^ab*f_b^n'.t

> F^mn

- Related guides: Types of indices and metric
- Reference material: Metric tensor, EliminateMetrics