i1 : G = {1,2,3,4,5};
i2 : R = {{1,2}, {1,3}, {2,4}, {3,4}, {4,5}};
i3 : transitiveClosure(G, R) o3 = | 1 1 1 1 1 | | 0 1 0 1 1 | | 0 0 1 1 1 | | 0 0 0 1 1 | | 0 0 0 0 1 | 5 5 o3 : Matrix ZZ <--- ZZ