"(x+1).subs(x==x-1)" now returns the correct result "x" instead of "x-1"

[ginac.git] / check / exam_polygcd.cpp

diff --git a/check/exam_polygcd.cpp b/check/exam_polygcd.cpp
index 5680bec0307ea12e6da16414e6b4e29a3251967d..864248d876d1f36dec8c0b804e6c86999784d9cd 100644 (file)
--- a/check/exam_polygcd.cpp
+++ b/check/exam_polygcd.cpp
@@ -4,7 +4,7 @@
  *  rational function normalization in normalization.cpp. */
 
 /*
- *  GiNaC Copyright (C) 1999-2000 Johannes Gutenberg University Mainz, Germany
+ *  GiNaC Copyright (C) 1999-2002 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
@@ -236,7 +236,7 @@ unsigned exam_polygcd(void)
        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;