40   Poly_Con_Relation rel = oct.relation_with(A + 2*B >= 1);  in test01()  local
63   Poly_Con_Relation rel = oct.relation_with(A + 2*B == 0);  in test02()  local
86   Poly_Con_Relation rel = oct.relation_with(A + 2*B == 0);  in test03()  local
109   Poly_Con_Relation rel = oct.relation_with(B - 4*A >= 1);  in test04()  local
132   Poly_Con_Relation rel = oct.relation_with(B + 4*A >= 1);  in test05()  local
155   Poly_Con_Relation rel = oct.relation_with(B + 4*A == 5);  in test06()  local
178   Poly_Con_Relation rel = oct.relation_with(B + 4*A >= 6);  in test07()  local
203   Poly_Con_Relation rel = oct.relation_with(A + 2*B >= 1);  in test08()  local
227   Poly_Con_Relation rel = oct.relation_with(A + 2*B == 1);  in test09()  local
251   Poly_Con_Relation rel = oct.relation_with(A + 2*B >= 1);  in test10()  local
275   Poly_Con_Relation rel = oct.relation_with(2*A - B >= 3);  in test11()  local
300   Poly_Con_Relation rel = oct.relation_with(2*A + B >= 9);  in test12()  local
324   Poly_Con_Relation rel = oct.relation_with(2*A + B >= 10);  in test13()  local
344   Poly_Con_Relation rel = oct.relation_with(A - 2*B > 2);  in test14()  local
364   Poly_Con_Relation rel = oct.relation_with(2*A - B > 4);  in test15()  local
383   Poly_Con_Relation rel = oct.relation_with(2*A - B < 4);  in test16()  local
404   Poly_Con_Relation rel = oc.relation_with(cg);  in test17()  local
428   Poly_Con_Relation rel = oc.relation_with(cg);  in test18()  local
450   Poly_Con_Relation rel = oc.relation_with(cg);  in test19()  local
474   Poly_Con_Relation rel = oc.relation_with(cg);  in test20()  local