updated for changes in Clifford/color classes
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Mon, 21 May 2001 22:45:48 +0000 (22:45 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Mon, 21 May 2001 22:45:48 +0000 (22:45 +0000)
check/exam_clifford.cpp
check/exam_color.cpp

index dadd9e163b4334906e8f93f2331d3a2c7300fae6..bea0a219f1d0cb045adf9737950bed8fa1a3905f 100644 (file)
@@ -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);
-       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));
 
index 2190db8ed27e0a2920aa04424a0788b1ebd03a31..0e31213c221cfb54cb24827aa869814a4afb3c62 100644 (file)
@@ -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);
+       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;
 }