-- -*- M2-comint -*- {* hash: 1827193108 *}

i1 : I = {a,b,c,d,e}; -- the ground set

i2 : R = {(a,b),(b,c),(a,c),(a,d),(d,e)}; -- relations

i3 : transitiveClosure(I,R)

o3 = | 1 1 1 1 1 |
     | 0 1 1 0 0 |
     | 0 0 1 0 0 |
     | 0 0 0 1 1 |
     | 0 0 0 0 1 |

                5          5
o3 : Matrix RR    <--- RR
              53         53

i4 :