upto(0;M.size))
(y upto(0;M.size))
M.size
M.sizeT
M.size
M.size
M.size)| M.adj(1of(p),2of(p)) }
(y upto(0;M.size))
upto(0;M.size))
(RWO
Thm* 
i,j,k:. (k upto(i;j)) 
i
k & k < j
0)
| 1 | 9. (y upto(0;M.size)) (y upto(0;M.size)) | 1 step |
About:
 |  |  |  |  |  |
 |  |  |  |  |  |