i,j. (
k
out(i).k=
j))xL.P(x)) == reduce(x,b. P(x) 
b;false;L)
is mentioned by
| Def adjl_to_adjm(l) == Case(l) Case mk_adjlist(n; out ) = > mk_adjmatrix(n, i,j. (kout(i).k=j)) | [adjl_to_adjm] |
In prior sections: graph 1 1 graph 1 2
Try larger context:
Graphs