(n
n)
(x 
n) < n
a:
, n:
. a = (a n)n+(a rem n)
[x;n]
a:, n:. 0
(a rem n) & (a rem n) < n
[x;n]
i,j:. i
j 
-i-j [x rem n;0]
i1,i2,j1,j2:. i1 < j1 
i2j2 i1+i2 < j1+j2
[(x n)n+(x rem n);-(x rem n);nn;0]
a,b:, n:. na < nb a < b
[x n;n;n]None
About:
| | | | | | |