Searched refs:id621 (Results 1 – 2 of 2) sorted by relevance
3 #W id621.z GAP library of id's Hans Ulrich Besche
7445 Expr id621=vc->eqExpr(id275,id297); in testgeorge3() local7446 Expr id620=vc->notExpr(id621); in testgeorge3()7447 vc->registerAtom(id621); in testgeorge3()11494 vc->query(id621); in testgeorge3()11503 vc->query(id621); in testgeorge3()11506 vc->assertFormula(id621); in testgeorge3()