* rational function normalization in normalization.cpp. */
/*
- * 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
unsigned exam_polygcd(void)
{
- unsigned result = 0;
-
+ unsigned result = 0;
+
cout << "examining polynomial GCD computation" << flush;
clog << "----------polynomial GCD computation:" << endl;
-
+
result += poly_gcd1(); cout << '.' << flush;
result += poly_gcd2(); cout << '.' << flush;
result += poly_gcd3(); cout << '.' << flush;
- result += poly_gcd3p(); cout << '.' << flush; // takes extremely long (PRS "worst" case)
+ result += poly_gcd3p(); cout << '.' << flush; // PRS "worst" case
result += poly_gcd4(); cout << '.' << flush;
result += poly_gcd5(); cout << '.' << flush;
result += poly_gcd5p(); cout << '.' << flush;
result += poly_gcd6(); cout << '.' << flush;
result += poly_gcd7(); cout << '.' << flush;
-
+
if (!result) {
cout << " passed " << endl;
- clog << "(no output)" << endl;
- } else {
+ clog << "(no output)" << endl;
+ } else {
cout << " failed " << endl;
- }
-
+ }
+
return result;
}