code: def add_edge(edges, edge_points, coords, i, j):
      
      if (i, j) in edges or (j, i) in edges:
          # already added
          return( edges.add((i, j)), edge_points.append(coords[[i, j]]))
docs: Add a line between the i-th and j-th points,
      if not in the list already