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
return result;
}
-unsigned exam_clifford(void)
+unsigned exam_clifford()
{
unsigned result = 0;