1.1 --- a/test/lp_test.cc	Thu Jan 11 22:08:18 2007 +0000
     1.2 +++ b/test/lp_test.cc	Fri Jan 12 16:29:06 2007 +0000
     1.3 @@ -194,11 +194,13 @@
     1.4      buf << "Coeff. of p2 should be 0";
     1.5      //    std::cout<<e[p1]<<e[p2]<<e[p3]<<std::endl;
     1.6      check(e.find(p2)==e.end(), buf.str());
     1.7 -
     1.8 +    
     1.9       
    1.10  
    1.11  
    1.12      e=((p1+p2)+(p1-0.99*p2));
    1.13 +    //e.prettyPrint(std::cout);
    1.14 +    //(e<=2).prettyPrint(std::cout);
    1.15      double tolerance=0.001;
    1.16      e.simplify(tolerance);
    1.17      buf << "Coeff. of p2 should be 0.01";