+ 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);
+ result += check_equal(symmetrize(e), e);
+ result += check_equal(antisymmetrize(e), 0);
+ e = indexed(A, sy_anti(), i, j, k, l);
+ result += check_equal(symmetrize(e), 0);
+ result += check_equal(antisymmetrize(e), e);
+