#!/usr/bin/python import ladr_python import sys import congruences ops = ladr_python.opsInFile(open(sys.argv[1])) i = 1 for (d, u) in ops: print "%i\t%i" % (i, len(list(congruences.congruences(u, d)))) i += 1
#!/usr/bin/python import ladr_python import sys import congruences (down_table, up_table) = ladr_python.opsInFile(sys.stdin).next() for c in congruences.congruences(up_table, down_table): print " ".join(map(lambda(s): str(list(s)), c))