Searched refs:id567 (Results 1 – 2 of 2) sorted by relevance
3 #W id567.z GAP library of id's Hans Ulrich Besche
171 Expr id567=vc->varExpr("x_245",id9); in testgeorge1() local415 Expr id1145=vc->eqExpr(id875,id567); in testgeorge1()427 Expr id1167=vc->eqExpr(id895,id567); in testgeorge1()917 Expr id1841=vc->leExpr(id567,id875); in testgeorge1()920 Expr id1845=vc->geExpr(id567,id895); in testgeorge1()4259 Expr id567=vc->ratExpr(2,1); in testgeorge2() local7371 Expr id566=vc->notExpr(id567); in testgeorge3()7372 vc->registerAtom(id567); in testgeorge3()11404 vc->query(id567); in testgeorge3()11413 vc->query(id567); in testgeorge3()[all …]