* Here we test GiNaC's Clifford algebra objects. */
/*
- * GiNaC Copyright (C) 1999-2002 Johannes Gutenberg University Mainz, Germany
+ * GiNaC Copyright (C) 1999-2004 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
return 0;
}
-static unsigned clifford_check1(void)
+static unsigned clifford_check1()
{
// checks general identities and contractions
return result;
}
-static unsigned clifford_check2(void)
+static unsigned clifford_check2()
{
// checks identities relating to gamma5
return result;
}
-static unsigned clifford_check3(void)
+static unsigned clifford_check3()
{
// checks traces
return result;
}
-static unsigned clifford_check4(void)
+static unsigned clifford_check4()
{
// simplify_indexed()/dirac_trace() cross-checks
return result;
}
-static unsigned clifford_check5(void)
+static unsigned clifford_check5()
{
// canonicalize_clifford() checks
ex e;
e = dirac_gamma(mu) * dirac_gamma(nu) + dirac_gamma(nu) * dirac_gamma(mu);
- result += check_equal(canonicalize_clifford(e), 2*lorentz_g(mu, nu));
+ result += check_equal(canonicalize_clifford(e), 2*dirac_ONE()*lorentz_g(mu, nu));
e = (dirac_gamma(mu) * dirac_gamma(nu) * dirac_gamma(lam)
+ dirac_gamma(nu) * dirac_gamma(lam) * dirac_gamma(mu)
return result;
}
-unsigned exam_clifford(void)
+unsigned exam_clifford()
{
unsigned result = 0;