Changeset 2264:90c66dc93ca4 in lemon-0.x for test/lp_test.cc

Timestamp:

10/27/06 14:39:13 (18 years ago)

Author:

athos

Branch:

default

Phase:

public

Convert:

svn:c9d7d8f5-90d6-0310-b91f-818b3a526b0e/lemon/trunk@3022

Message:

A little test was born for Expr::simplify().

File:

• test/lp_test.cc (modified) (2 diffs)

test/lp_test.cc

@@ -20 +20 @@
 #include <lemon/lp_skeleton.h>
 #include "test_tools.h"
-
+#include <lemon/tolerance.h>
 
 #ifdef HAVE_CONFIG_H
@@ -176 +176 @@
     lp.addRow(-7<=x[1]+x[3]-12<=3);
     lp.addRow(x[1]<=x[5]);
+
+    std::ostringstream buf;
+
+
+    //Checking the simplify function
+
+//     //How to check the simplify function? A map gives no information
+//     //on the question whether a given key is or is not stored in it, or
+//     //it does?
+//   Yes, it does, using the find() function.
+    e=((p1+p2)+(p1-p2));
+    e.simplify();
+    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));
+    double tolerance=0.001;
+    e.simplify(tolerance);
+    buf << "Coeff. of p2 should be 0.01";
+    check(e[p2]>0, buf.str());
+    
+    tolerance=0.02;
+    e.simplify(tolerance);
+    buf << "Coeff. of p2 should be 0";
+    check(e.find(p2)==e.end(), buf.str());
+    
+
   }