diff -r 48ecc4feb42b -r bfcaad2b84e8 test/lp_test.cc
--- a/test/lp_test.cc	Thu Jan 11 22:08:18 2007 +0000
+++ b/test/lp_test.cc	Fri Jan 12 16:29:06 2007 +0000
@@ -194,11 +194,13 @@
     buf << "Coeff. of p2 should be 0";
     //    std::cout<<e[p1]<<e[p2]<<e[p3]<<std::endl;
     check(e.find(p2)==e.end(), buf.str());
-
+    
      
 
 
     e=((p1+p2)+(p1-0.99*p2));
+    //e.prettyPrint(std::cout);
+    //(e<=2).prettyPrint(std::cout);
     double tolerance=0.001;
     e.simplify(tolerance);
     buf << "Coeff. of p2 should be 0.01";