Searched refs:id1197 (Results 1 – 2 of 2) sorted by relevance
3 #W id1197.z GAP library of id's Hans Ulrich Besche
442 Expr id1197=vc->eqExpr(id523,id559); in testgeorge1() local443 Expr id1196=vc->notExpr(id1197); in testgeorge1()444 vc->registerAtom(id1197); in testgeorge1()7899 Expr id1197=vc->eqExpr(id89,id359); in testgeorge3() local7900 Expr id1196=vc->notExpr(id1197); in testgeorge3()7901 vc->registerAtom(id1197); in testgeorge3()