X-Git-Url: https://ginac.de/ginac.git//ginac.git?a=blobdiff_plain;ds=sidebyside;f=check%2Fexam_clifford.cpp;h=420089fdca678442e22877c42963f910eae3c7b3;hb=679208b372d0d1ba9a50cf277530bf0950cb3a90;hp=9503f162a72a38ed31a0ae03af25ca02990078e9;hpb=29b8244d6141ecb6f8d90480ade69af407270441;p=ginac.git

diff --git a/check/exam_clifford.cpp b/check/exam_clifford.cpp
index 9503f162..420089fd 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-2011 Johannes Gutenberg University Mainz, Germany
+ *  GiNaC Copyright (C) 1999-2015 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
@@ -247,7 +247,7 @@ static unsigned clifford_check3()
 	e = dirac_gamma(mu, 0) * dirac_gamma(mu.toggle_variance(), 1) * dirac_gamma(nu, 0) * dirac_gamma(nu.toggle_variance(), 1);
 	result += check_equal_simplify(dirac_trace(e, 0), 4 * dim * dirac_ONE(1));
 	result += check_equal_simplify(dirac_trace(e, 1), 4 * dim * dirac_ONE(0));
-	// Fails with new tinfo mechanism because the order of gamme matrices with different rl depends on luck. 
+	// Fails with new tinfo mechanism because the order of gamma matrices with different rl depends on luck.
 	// TODO: better check.
 	//result += check_equal_simplify(dirac_trace(e, 2), canonicalize_clifford(e)); // e will be canonicalized by the calculation of the trace
 	result += check_equal_simplify(dirac_trace(e, lst(0, 1)), 16 * dim);
@@ -576,34 +576,34 @@ unsigned exam_clifford()
 	result += clifford_check6<varidx>(ex_to<matrix>(diag_matrix(lst(-1, 1, s, t))))+clifford_check6<idx>(ex_to<matrix>(diag_matrix(lst(-1, 1, s, t))));; cout << '.' << flush;
 
 	matrix A(4, 4);
-	A = 1, 0, 0, 0, // anticommuting, not symmetric, Tr=0
-		0, -1, 0, 0,
-		0, 0, 0, -1,
-		0, 0, 1, 0; 
+	A = 1,  0,  0,  0, // anticommuting, not symmetric, Tr=0
+	    0, -1,  0,  0,
+	    0,  0,  0, -1,
+	    0,  0,  1,  0;
 	result += clifford_check6<varidx>(A)+clifford_check6<idx>(A);; cout << '.' << flush;
 
-	A = 1, 0, 0, 0, // anticommuting, not symmetric, Tr=2
-		0, 1, 0, 0,
-		0, 0, 0, -1,
-		0, 0, 1, 0; 
+	A = 1,  0,  0,  0, // anticommuting, not symmetric, Tr=2
+	    0,  1,  0,  0,
+	    0,  0,  0, -1,
+	    0,  0,  1,  0;
 	result += clifford_check6<varidx>(A)+clifford_check6<idx>(A);; cout << '.' << flush;
 
-	A = 1, 0, 0, 0, // not anticommuting, symmetric, Tr=0
-		0, -1, 0, 0,
-		0, 0, 0, -1,
-		0, 0, -1, 0; 
+	A = 1,  0,  0,  0, // not anticommuting, symmetric, Tr=0
+	    0, -1,  0,  0,
+	    0,  0,  0, -1,
+	    0,  0, -1,  0;
 	result += clifford_check6<varidx>(A)+clifford_check6<idx>(A);; cout << '.' << flush;
 
-	A = 1, 0, 0, 0, // not anticommuting, symmetric, Tr=2
-		0, 1, 0, 0,
-		0, 0, 0, -1,
-		0, 0, -1, 0; 
+	A = 1,  0,  0,  0, // not anticommuting, symmetric, Tr=2
+	    0,  1,  0,  0,
+	    0,  0,  0, -1,
+	    0,  0, -1,  0;
 	result += clifford_check6<varidx>(A)+clifford_check6<idx>(A);; cout << '.' << flush;
 
-	A = 1, 1, 0, 0, // not anticommuting, not symmetric, Tr=4
-		0, 1, 1, 0,
-		0, 0, 1, 1,
-		0, 0, 0, 1; 
+	A = 1,  1,  0,  0, // not anticommuting, not symmetric, Tr=4
+	    0,  1,  1,  0,
+	    0,  0,  1,  1,
+	    0,  0,  0,  1;
 	result += clifford_check6<varidx>(A)+clifford_check6<idx>(A);; cout << '.' << flush;
 
 	symbol dim("D");