Graphs
Sections
NuprlLIB
Doc
Def
adjm-graph(A) == < vertices =
A.size, edges = {p:(
A.size
A.size)|
(A.adj(1of(p),2of(p))) }, incidence =
e.e >
is mentioned
In prior sections:
graph
1
3
Graphs
Sections
NuprlLIB
Doc
A.size, edges = {p:(A.size
A.size)| 
(A.adj(1of(p),2of(p))) }, incidence = 
e.e >