Searched refs:id1125 (Results 1 – 2 of 2) sorted by relevance
3 #W id1125.z GAP library of id's Hans Ulrich Besche
397 Expr id1125=vc->eqExpr(id895,id637); in testgeorge1() local398 Expr id1124=vc->notExpr(id1125); in testgeorge1()399 vc->registerAtom(id1125); in testgeorge1()4539 Expr id1125=vc->eqExpr(id251,id227); in testgeorge2() local4540 Expr id1124=vc->notExpr(id1125); in testgeorge2()4541 vc->registerAtom(id1125); in testgeorge2()7862 Expr id1125=vc->eqExpr(id1123,id421); in testgeorge3() local7863 Expr id1124=vc->notExpr(id1125); in testgeorge3()7864 vc->registerAtom(id1125); in testgeorge3()