Searched refs:id1521 (Results 1 – 2 of 2) sorted by relevance
3 #W id1521.z GAP library of id's Hans Ulrich Besche
4704 Expr id1521=vc->writeExpr(id167,id171,id161); in testgeorge2() local4705 Expr id1523=vc->eqExpr(id1521,id189); in testgeorge2()8034 Expr id1521=vc->eqExpr(id319,id353); in testgeorge3() local8035 Expr id1520=vc->notExpr(id1521); in testgeorge3()8036 vc->registerAtom(id1521); in testgeorge3()