i1 : adjacencyMatrix completeGraph 5 o1 = | 0 1 1 1 1 | | 1 0 1 1 1 | | 1 1 0 1 1 | | 1 1 1 0 1 | | 1 1 1 1 0 | 5 5 o1 : Matrix ZZ <--- ZZ