Searched refs:id340 (Results 1 – 2 of 2) sorted by relevance
3 #W id340.z GAP library of id's Hans Ulrich Besche
3966 Expr id340=vc->notExpr(id341); in testgeorge2() local5825 vc->query(id340); in testgeorge2()5828 vc->query(id340); in testgeorge2()