Searched refs:id456 (Results 1 – 2 of 2) sorted by relevance
3 #W id456.z GAP library of id's Hans Ulrich Besche
4128 Expr id456=vc->notExpr(id457); in testgeorge2() local7218 Expr id456=vc->notExpr(id457); in testgeorge3() local10098 vc->query(id456); in testgeorge3()10101 vc->query(id456); in testgeorge3()