Searched refs:id1827 (Results 1 – 2 of 2) sorted by relevance
3 #W id1827.z GAP library of id's Hans Ulrich Besche
4829 Expr id1827=vc->eqExpr(id127,id143); in testgeorge2() local4830 Expr id1826=vc->notExpr(id1827); in testgeorge2()4831 vc->registerAtom(id1827); in testgeorge2()6745 vc->query(id1827); in testgeorge2()8160 Expr id1827=vc->eqExpr(id453,id311); in testgeorge3() local8161 Expr id1826=vc->notExpr(id1827); in testgeorge3()8162 vc->registerAtom(id1827); in testgeorge3()