adapted for new method of specifying symmetries
[ginac.git] / check / exam_archive.cpp
index af8f49051b1e3ff60a3f20ca581aebe27d7a3433..c01bb15bc5bb9f48b60bc5b7a466965caa5c6805 100644 (file)
@@ -31,23 +31,24 @@ unsigned exam_archive(void)
        cout << "examining archiving system" << flush;
        clog << "----------archiving system:" << endl;
 
-       symbol x("x"), y("y"), mu("mu"), dim("dim");
+       symbol x("x"), y("y"), mu("mu"), dim("dim", "\\Delta");
        ex e, f;
 
        // This expression is complete nonsense but it contains every type of
        // GiNaC object
-       e = -42 * x * pow(y, sin(y*Catalan)) * dirac_one()
+       e = -42 * x * pow(y, sin(y*Catalan)) * dirac_ONE()
            * epsilon_tensor(idx(fail(), 3), idx(0, 3), idx(y/2, 3))
          + lorentz_g(
              varidx(lst(x, -11*y, acos(2*x).series(x==3-5*I, 3)) * color_ONE()
-               * metric_tensor(varidx(0, 5), varidx(2, 4)), zeta(3)),
+               * metric_tensor(spinidx(0, 5, false, true), varidx(2, 4)), zeta(3)),
              varidx(diag_matrix(lst(-1, Euler, atan(x/y==-15*I/17)))
-               * delta_tensor(idx(x, 2), idx(y, 3)), log(cos(128.0/(x*y))), true),
+               * delta_tensor(idx(x, 2), idx(wild(7), 3)), log(cos(128.0/(x*y))), true),
              true
            )
          + 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, indexed::antisymmetric, idx(2*y+1, x), varidx(-mu, 5))
+           * indexed(x, sy_anti(), idx(2*y+1, x), varidx(-mu, 5))
+         - 2 * spinor_metric(spinidx(x), spinidx(y))
          + 0.775;
 
        archive ar;
@@ -68,6 +69,8 @@ unsigned exam_archive(void)
                     << "erroneously returned " << f << endl;
                ++result;
        }
+
+       cout << '.' << flush;
        
        if (!result) {
                cout << " passed " << endl;