]> www.ginac.de Git - ginac.git/blobdiff - check/time_lw_G.cpp
- fixed three little standard-conformance issues.
[ginac.git] / check / time_lw_G.cpp
index 1bae9c88fa4ac50104ea003ff9e18d3bcfc9e522..f7f0273d6b0b79baf067b8998b97afcd6432dd91 100644 (file)
@@ -4,7 +4,7 @@
  *  Lewis and Michael Wester. */
 
 /*
- *  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
@@ -28,11 +28,11 @@ static unsigned test(void)
        symbol x("x");
        symbol y("y");
        symbol z("z");
-
+       
        ex p = expand(pow(7*y*pow(x*z,2)-3*x*y*z+11*(x+1)*pow(y,2)+5*z+1,4)
-                                 *pow(3*x-7*y+2*z-3,5));
+                     *pow(3*x-7*y+2*z-3,5));
        ex q = expand(pow(7*y*pow(x*z,2)-3*x*y*z+11*(x+1)*pow(y,2)+5*z+1,3)
-                                 *pow(3*x-7*y+2*z+3,6));
+                     *pow(3*x-7*y+2*z+3,6));
        ex result = gcd(p,q);
        if (result.expand()!=expand(pow(7*y*pow(x*z,2)-3*x*y*z+11*(x+1)*pow(y,2)+5*z+1,3))) {
                clog << "gcd(expand((7*y*x^2*z^2-3*x*y*z+11*(x+1)*y^2+5*z+1)^4*(3*x-7*y+2*z-3)^5),expand((7*y*x^2*z^2-3*x*y*z+11*(x+1)*y^2+5*z+1)^3*(3*x-7*y+2*z+3)^6)) erroneously returned " << result << endl;