A:AdjList, x,y:Vertices( < vertices = 
A.size, edges = x:A.size
||A.out(x)||, incidence = 
e. < 1of(e),(A.out(1of(e)))[2of(e)] > > ). (x=
y) 
A:AdjList, x,y:Vertices(adjl-graph(A)). x =A= y
| 1 | A:AdjList, x,y:Vertices( < vertices = A.size, edges = x:A.size||A.out(x)||, incidence = e. < 1of(e),(A.out(1of(e)))[2of(e)] > > ). (x=y) | 1 step |
About:
 |  |  |  |  |  |  |  |  |