- The dimension of indices is now treated as a kind of "effective" dimension
with respect to contractions; this allows for a limited support of subspaces,
e.g. delta.i[2].j[2] * a.i[3] -> a.j[2] by simplify_indexed(), and
delta.i[2].i[3] -> 2. Likewise, eta~mu[3]~nu[3] * eta.mu[4].nu[4] -> 3 etc.
(The numbers in brackets are the index dimensions which are not visible
in the output.)
Symbolic ("N", "D", ...) dimensions are always assumed to be higher than
numeric ones.
- eps0123 is gone, dirac_trace() generates ordinary epsilon tensors with
4-dimensional indices.