X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=check%2Fexam_clifford.cpp;h=b6ec71e455317bccb9b56eed2e96372f35ac47a3;hp=73aa132b5d50981e709981fd4d26899bfe66c052;hb=6872b42cd09e72e7ca9906f4fc2fe775ace2f043;hpb=b882ec7bcc64b32d1a0eb13d646975d4aca6ac92 diff --git a/check/exam_clifford.cpp b/check/exam_clifford.cpp index 73aa132b..b6ec71e4 100644 --- a/check/exam_clifford.cpp +++ b/check/exam_clifford.cpp @@ -3,7 +3,7 @@ * 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 @@ -44,7 +44,7 @@ static unsigned check_equal_simplify(const ex &e1, const ex &e2) return 0; } -static unsigned clifford_check1(void) +static unsigned clifford_check1() { // checks general identities and contractions @@ -80,7 +80,7 @@ static unsigned clifford_check1(void) return result; } -static unsigned clifford_check2(void) +static unsigned clifford_check2() { // checks identities relating to gamma5 @@ -99,7 +99,7 @@ static unsigned clifford_check2(void) return result; } -static unsigned clifford_check3(void) +static unsigned clifford_check3() { // checks traces @@ -160,15 +160,15 @@ static unsigned clifford_check3(void) // one-loop vacuum polarization in QED e = dirac_gamma(mu) * - (dirac_slash(l, dim) + dirac_slash(q, dim) + m * dirac_ONE()) * + (dirac_slash(l, dim) + dirac_slash(q, 4) + m * dirac_ONE()) * dirac_gamma(mu.toggle_variance()) * (dirac_slash(l, dim) + m * dirac_ONE()); e = dirac_trace(e).simplify_indexed(sp); result += check_equal(e, 4*((2-dim)*l*l + (2-dim)*ldotq + dim*m*m).expand()); - e = dirac_slash(q, dim) * - (dirac_slash(l, dim) + dirac_slash(q, dim) + m * dirac_ONE()) * - dirac_slash(q, dim) * + e = dirac_slash(q, 4) * + (dirac_slash(l, dim) + dirac_slash(q, 4) + m * dirac_ONE()) * + dirac_slash(q, 4) * (dirac_slash(l, dim) + m * dirac_ONE()); 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()); @@ -187,7 +187,7 @@ static unsigned clifford_check3(void) return result; } -static unsigned clifford_check4(void) +static unsigned clifford_check4() { // simplify_indexed()/dirac_trace() cross-checks @@ -221,7 +221,7 @@ static unsigned clifford_check4(void) return result; } -static unsigned clifford_check5(void) +static unsigned clifford_check5() { // canonicalize_clifford() checks @@ -232,7 +232,7 @@ static unsigned clifford_check5(void) 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) @@ -249,7 +249,7 @@ static unsigned clifford_check5(void) return result; } -unsigned exam_clifford(void) +unsigned exam_clifford() { unsigned result = 0;