Searched refs:id351 (Results 1 – 2 of 2) sorted by relevance
3 #W id351.z GAP library of id's Hans Ulrich Besche
123 Expr id351=vc->varExpr("x_137",id9); in testgeorge1() local559 Expr id1373=vc->eqExpr(id875,id351); in testgeorge1()571 Expr id1395=vc->eqExpr(id895,id351); in testgeorge1()953 Expr id1889=vc->leExpr(id351,id875); in testgeorge1()956 Expr id1893=vc->geExpr(id351,id895); in testgeorge1()3980 Expr id351=vc->eqExpr(id111,id109); in testgeorge2() local3981 Expr id350=vc->notExpr(id351); in testgeorge2()3982 vc->registerAtom(id351); in testgeorge2()5581 vc->query(id351); in testgeorge2()5590 vc->query(id351); in testgeorge2()[all …]