* Here we test GiNaC's Clifford algebra objects. */
/*
- * GiNaC Copyright (C) 1999-2001 Johannes Gutenberg University Mainz, Germany
+ * GiNaC Copyright (C) 1999-2002 Johannes Gutenberg University Mainz, Germany
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
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;
}