From: Jens Vollinga <vollinga@thep.physik.uni-mainz.de>
Date: Thu, 19 Jan 2006 19:37:16 +0000 (+0000)
Subject: - Disabled three badly written checks that fail with the new tinfo mechanism.
X-Git-Tag: release_1-4-0~113
X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=commitdiff_plain;h=568524ae4543f305035f4c5b2ecdb4cf78514c33

- Disabled three badly written checks that fail with the new tinfo mechanism.
---

diff --git a/check/exam_clifford.cpp b/check/exam_clifford.cpp
index c0650a47..53b57906 100644
--- a/check/exam_clifford.cpp
+++ b/check/exam_clifford.cpp
@@ -236,7 +236,9 @@ 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));
-	result += check_equal_simplify(dirac_trace(e, 2), canonicalize_clifford(e)); // e will be canonicalized by the calculation of the trace
+	// Fails with new tinfo mechanism because the order of gamme 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);
 
 	return result;
diff --git a/check/exam_normalization.cpp b/check/exam_normalization.cpp
index c0a2e232..b5eaf707 100644
--- a/check/exam_normalization.cpp
+++ b/check/exam_normalization.cpp
@@ -80,18 +80,24 @@ static unsigned exam_normal2()
 	d = (x + y) * (w + z);
 	result += check_normal(e, d);
 	
-	e = (pow(x, 2) - pow(y, 2)) / pow(x-y, 3);
-	d = (x + y) / pow(x - y, 2);
-	result += check_normal(e, d);
+	// Fails stochastically with the new tinfo mechanism, because
+	// sometimes the equivalent answer ... / pow(y - x, 2) is calculated.
+	// TODO: make check for both cases.
+//	e = (pow(x, 2) - pow(y, 2)) / pow(x-y, 3);
+//	d = (x + y) / pow(x - y, 2);
+//	result += check_normal(e, d);
 	
 	e = (pow(x, -1) + x) / (pow(x , 2) * 2 + 2);
 	d = pow(x * 2, -1);
 	result += check_normal(e, d);
 	
+	// Fails stochastically with the new tinfo mechanism, because
+	// sometimes the equivalent answer ... / pow(y - x, 2) is calculated.
+	// TODO: make check for both cases.
 	// Fraction cancellation with rational coefficients
-	e = (pow(x, 2) - pow(y, 2)) / pow(x/2 - y/2, 3);
-	d = (8 * x + 8 * y) / pow(x - y, 2);
-	result += check_normal(e, d);
+//	e = (pow(x, 2) - pow(y, 2)) / pow(x/2 - y/2, 3);
+//	d = (8 * x + 8 * y) / pow(x - y, 2);
+//	result += check_normal(e, d);
 	
 	// Fraction cancellation with rational coefficients
 	e = z/5 * (x/7 + y/10) / (x/14 + y/20);