"(x+1).subs(x==x-1)" now returns the correct result "x" instead of "x-1"
[ginac.git] / check / exam_lsolve.cpp
index cafda13a8ecec1f7bac8b9ddf17909a721b0c186..19910da8ea9ab9cd2289a502b6378ca89766bf74 100644 (file)
@@ -3,7 +3,7 @@
  *  These exams test solving small linear systems of symbolic equations. */
 
 /*
- *  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
@@ -34,7 +34,7 @@ static unsigned exam_lsolve1(void)
        if (aux != 1) {
                ++result;
                clog << "solution of 3*x+5==8 erroneously returned "
-                        << aux << endl;
+                    << aux << endl;
        }
        
        return result;
@@ -62,7 +62,7 @@ static unsigned exam_lsolve2a(void)
                !normal(sol_y - (3-a*b)/(a+b)).is_zero()) {
                ++result;
                clog << "solution of the system " << eqns << " for " << vars
-                        << " erroneously returned " << sol << endl;
+                    << " erroneously returned " << sol << endl;
        }
        
        return result;
@@ -90,7 +90,7 @@ static unsigned exam_lsolve2b(void)
                (sol_y != numeric(-10,17))) {
                ++result;
                clog << "solution of the system " << eqns << " for " << vars
-                        << " erroneously returned " << sol << endl;
+                    << " erroneously returned " << sol << endl;
        }
        
        return result;
@@ -118,7 +118,7 @@ static unsigned exam_lsolve2c(void)
                (sol_y != numeric(-1,2))) {
                ++result;
                clog << "solution of the system " << eqns << " for " << vars
-                        << " erroneously returned " << sol << endl;
+                    << " erroneously returned " << sol << endl;
        }
        
        return result;
@@ -146,7 +146,7 @@ static unsigned exam_lsolve2S(void)
                (sol_y != t)) {
                ++result;
                clog << "solution of the system " << eqns << " for " << vars
-                        << " erroneously returned " << sol << endl;
+                    << " erroneously returned " << sol << endl;
        }
        
        return result;
@@ -177,7 +177,7 @@ static unsigned exam_lsolve3S(void)
                (sol_z != (b+c)/2)) {
                ++result;
                clog << "solution of the system " << eqns << " for " << vars
-                        << " erroneously returned " << sol << endl;
+                    << " erroneously returned " << sol << endl;
        }
        
        return result;