2. in : |R|
IdLnk
3. out : |R|
IdLnk
4. i : |R|
5. j : |R|
6. ring(R;in;out)
7. (
k.x.n(x)^k+1(i) = j) 
8.
n:. x.n(x)^n+1(i) = j
9.
i@0:. i@0<d(i;j)-1 
x.n(x)^i@0+1(i) = j
k:
. k<d(i;j) x.n(x)^k(i) = j
IdLnk
IdLnk
k.x.n(x)^k+1(i) = j)
n:. x.n(x)^n+1(i) = j
i@0:. i@0<d(i;j)-1 x.n(x)^i@0+1(i) = j
k:. k<d(i;j) x.n(x)^k(i) = j| By: |
|
| 1 |
11. k<d(i;j) 12. x.n(x)^k(i) = j
x.n(x)^k(i) = j | 2 steps |
About:
 |  |  |  |  |  |  |  |  |
 |  |  |  |  |  |