X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=check%2Fexam_clifford.cpp;h=fc97ac02447fb81a89d6c71e500f4720d04a5ff9;hp=287a600d10882700ac53a1e28098811f45327082;hb=3ab7092e925aba28498d7508f50da9f913dcffd2;hpb=504b90fcaeafe013a6f1b32edcc0d6a51561fc35

diff --git a/check/exam_clifford.cpp b/check/exam_clifford.cpp
index 287a600d..fc97ac02 100644
--- a/check/exam_clifford.cpp
+++ b/check/exam_clifford.cpp
@@ -173,6 +173,17 @@ static unsigned clifford_check3(void)
 	e = dirac_trace(e).simplify_indexed(sp);
 	result += check_equal(e, 4*(2*ldotq*ldotq + q*q*ldotq - q*q*l*l + q*q*m*m).expand());
 
+	// stuff that had problems in the past
+	ex prop = dirac_slash(q, dim) - m * dirac_ONE();
+	e = dirac_slash(l, dim) * dirac_gamma5() * dirac_slash(l, dim) * prop;
+	e = dirac_trace(dirac_slash(q, dim) * e) - dirac_trace(m * e)
+	  - dirac_trace(prop * e);
+	result += check_equal(e, 0);
+
+	e = (dirac_gamma5() + dirac_ONE()) * dirac_gamma5();
+	e = dirac_trace(e);
+	result += check_equal(e, 4);
+
 	return result;
 }