+ dirac_gamma(varidx(mu, dim)) * dirac_gamma(varidx(mu, 4-dim, true))
* color_T(idx(x, 8), 1) * color_h(idx(x, 8), idx(y, 8), idx(2, 8))
* indexed(x, sy_anti(), idx(2*y+1, x), varidx(-mu, 5))
- - 2.4275 * spinor_metric(spinidx(x), spinidx(y));
+ - 2.4275 * spinor_metric(spinidx(x), spinidx(y))
+ + abs(x).series(x == y, 4);
archive ar;
ar.archive_ex(e, "expr 1");
indexed(B, sy_anti(), k, l); // GiNaC 0.8.0 had a bug here
result += check_equal_simplify(e, e);
+ symmetry R = sy_symm(sy_anti(0, 1), sy_anti(2, 3));
+ e = indexed(A, R, i, j, k, l) + indexed(A, R, j, i, k, l);
+ result += check_equal(e, 0);
+ e = indexed(A, R, i, j, k, l) + indexed(A, R, i, j, l, k);
+ result += check_equal(e, 0);
+ e = indexed(A, R, i, j, k, l) - indexed(A, R, j, i, l, k);
+ result += check_equal(e, 0);
+ e = indexed(A, R, i, j, k, l) + indexed(A, R, k, l, j, i);
+ result += check_equal(e, 0);
+
e = indexed(A, i, j);
result += check_equal(symmetrize(e) + antisymmetrize(e), e);
e = indexed(A, sy_symm(), i, j, k, l);