(
L:
List. 0 < ||L|| (
r:
. r- > L^k-1))
k = 1
d1:. d1 < d (L: List. sum(L[i] | i < ||L||) = d1 
0 < ||L|| (r:. r- > L^k))
List
(i:||L||. L[i] < k)
i:||L||. 2
L[i]
L: List. sum(L[i] | i < ||L||) = d-1 0 < ||L|| (r:. r- > L^k)
||L||
d:. sum(L[x]-L[i--][x] | x < ||L||) = d sum(L[x] | x < ||L||) = sum(L[i--][x] | x < ||L||)+d
||L||
x = i
L[x]-L[i--][x] = 0
L: List, i,j:||L||. 0 < L[i] L[i--][j] = if j=
i
L[j]-1 else L[j] fi
0)
THENA
(Auto THEN (AutoInst [i]))
None
About:
| | | | |
 |  |  |  |  |  |