updated for changes in Clifford/color classes

diff --git a/check/exam_clifford.cpp b/check/exam_clifford.cpp
index dadd9e163b4334906e8f93f2331d3a2c7300fae6..bea0a219f1d0cb045adf9737950bed8fa1a3905f 100644 (file)
--- a/check/exam_clifford.cpp
+++ b/check/exam_clifford.cpp
@@ -154,7 +154,7 @@ static unsigned clifford_check3(void)
        // non-cyclicity of order D-4 of gamma5 * S_6
        e = dirac_gamma5() * dirac_gamma(mu) * dirac_gamma(nu) * dirac_gamma(rho) * dirac_gamma(sig) * dirac_gamma(kap) * dirac_gamma(mu.toggle_variance())
          + dim * dirac_gamma5() * dirac_gamma(nu) * dirac_gamma(rho) * dirac_gamma(sig) * dirac_gamma(kap);
        // non-cyclicity of order D-4 of gamma5 * S_6
        e = dirac_gamma5() * dirac_gamma(mu) * dirac_gamma(nu) * dirac_gamma(rho) * dirac_gamma(sig) * dirac_gamma(kap) * dirac_gamma(mu.toggle_variance())
          + dim * dirac_gamma5() * dirac_gamma(nu) * dirac_gamma(rho) * dirac_gamma(sig) * dirac_gamma(kap);

-       e = dirac_trace(e);
+       e = dirac_trace(e).simplify_indexed();

        e = (e / (dim - 4)).normal();
        result += check_equal(e, 8 * I * eps0123(nu, rho, sig, kap));
 
        e = (e / (dim - 4)).normal();
        result += check_equal(e, 8 * I * eps0123(nu, rho, sig, kap));
 

diff --git a/check/exam_color.cpp b/check/exam_color.cpp
index 2190db8ed27e0a2920aa04424a0788b1ebd03a31..0e31213c221cfb54cb24827aa869814a4afb3c62 100644 (file)
--- a/check/exam_color.cpp
+++ b/check/exam_color.cpp
@@ -101,6 +101,8 @@ static unsigned color_check2(void)
        result += check_equal_simplify(e, 16 * color_ONE() / 9);
        e = color_T(a) * color_T(b) * color_T(c) * color_T(c) * color_T(b) *  color_T(a);
        result += check_equal_simplify(e, 64 * color_ONE() / 27);
        result += check_equal_simplify(e, 16 * color_ONE() / 9);
        e = color_T(a) * color_T(b) * color_T(c) * color_T(c) * color_T(b) *  color_T(a);
        result += check_equal_simplify(e, 64 * color_ONE() / 27);

+       e = color_T(a) * color_T(b) * color_T(c) * color_T(k) * color_T(a) * color_T(k) *  color_T(c) * color_T(b);
+       result += check_equal_simplify(e, -color_ONE() / 162);

 
        return result;
 }
 
        return result;
 }