graph
1
3
Sections
Graphs
Doc
Def
adjm_to_adjl(m) == Case(m) Case mk_adjmatrix(n,f) = > mk_adjlist(n,
i.filter(
j.f(i,j);upto(0;n)))
is mentioned by
Thm*
m:AdjMatrix. adjl-graph(adjm_to_adjl(m))
adjm-graph(m)
[adjm_to_adjl_graph]
Try larger context:
Graphs
graph
1
3
Sections
Graphs
Doc
m:AdjMatrix. adjl-graph(adjm_to_adjl(m)) 
adjm-graph(m)
i.filter(j.f(i,j);upto(0;n)))
m:AdjMatrix. adjl-graph(adjm_to_adjl(m)) adjm-graph(m)