Searched refs:id1953 (Results 1 – 2 of 2) sorted by relevance
3 #W id1953.z GAP library of id's Hans Ulrich Besche
8207 Expr id1953=vc->plusExpr(id261,id453); in testgeorge3() local8208 Expr id1955=vc->eqExpr(id1953,id283); in testgeorge3()