R, a list, of pairs of elements in the ground set I.
Outputs:
M, a matrix, whose (i,j) entry is 1 if (i,j) is a relation and 0 otherwise.
Description
This function uses the floydWarshall method from the Graphs package and is used by the poset constructor to compute RelationMatrix from Relations in a Poset.
i1 : I = {a,b,c,d,e}; -- the ground set
i2 : R = {(a,b),(b,c),(a,c),(a,d),(d,e)}; -- relations