Graphs Sections NuprlLIB Doc

Def adjl-graph(G) == < vertices = G.size, edges = x:G.size||G.out(x)||, incidence = e. < 1of(e),(G.out(1of(e)))[2of(e)] > >

is mentioned

In prior sections: graph 1 3


Graphs Sections NuprlLIB Doc