Searched refs:id1323 (Results 1 – 2 of 2) sorted by relevance
3 #W id1323.z GAP library of id's Hans Ulrich Besche
529 Expr id1323=vc->eqExpr(id359,id395); in testgeorge1() local530 Expr id1322=vc->notExpr(id1323); in testgeorge1()531 vc->registerAtom(id1323); in testgeorge1()7944 Expr id1323=vc->eqExpr(id1321,id371); in testgeorge3() local7945 Expr id1322=vc->notExpr(id1323); in testgeorge3()7946 vc->registerAtom(id1323); in testgeorge3()10698 vc->query(id1323); in testgeorge3()