* Here we test manipulations on GiNaC's lortensors. */
/*
- * GiNaC Copyright (C) 1999-2000 Johannes Gutenberg University Mainz, Germany
+ * GiNaC Copyright (C) 1999-2001 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
#include "exams.h"
+#if 0 // this will change
+
static unsigned lortensor_check1(void)
{
// checks simple identities of the metric tensor!
e6 = e4 - e5; // g(~mu,_mu) - g(_mu,~mu) = 0!
if (!e3.is_zero()) {
clog << e1 << "-" << e2 << " erroneously returned "
- << e3 << " instead of 0" << endl;
+ << e3 << " instead of 0" << endl;
++result;
}
if (!e6.is_zero()) {
clog << e4 << "-" << e5 << " erroneously returned "
- << e6 << " instead of 0" << endl;
+ << e6 << " instead of 0" << endl;
++result;
}
e10 = simplify_lortensor(e8 * e7) - e9; // F(_mu,_nu) g(~nu,~rho) - F(_mu,~rho) = 0!
if (!e5.is_zero()) {
clog << e3 << "*" << e1 << "-" << e3 << "*" << e2 << " erroneously returned "
- << e5 << " instead of 0" << endl;
+ << e5 << " instead of 0" << endl;
++result;
}
if (!e6.is_zero()) {
clog << " simplify_lortensor(e3 * e1)" << "-" << e4 << " erroneously returned"
- << e6 << " instead of 0" << endl;
+ << e6 << " instead of 0" << endl;
++result;
}
if (!e10.is_zero()) {
clog << " simplify_lortensor(e8 * e7)" << "-" << e9 << " erroneously returned"
- << e10 << " instead of 0" << endl;
+ << e10 << " instead of 0" << endl;
++result;
}
return result;
}
+#endif
+
unsigned exam_noncommut(void)
{
unsigned result = 0;
cout << "examining behaviour of noncommutative objects" << flush;
clog << "----------behaviour of noncommutative objects:" << endl;
-
+
+#if 0
result += lortensor_check1(); cout << '.' << flush;
result += lortensor_check2(); cout << '.' << flush;
+#endif
if (!result) {
cout << " passed " << endl;