Assert
Különböző állításokat lehet megfogalmazni az assert. kifejezés segítségével.
Ezzel a program egy bizonyos pontján ellenőrizni tudjuk, hogy a megadott állítás teljesül-e.
Példa (az i.x y-adik kombinációja):
cfi=: 4 : 0 " 0
assert. 0'<':y
assert. y='<'.y
assert. y'<'2^x
v=. +/\(i.x)!x
m=. (y'<'v)i. 1
(m,x) ci (y-m{0,v)
)
ci=: 4 : 0 " 1 0
'm n'=. x
if. 0=m do.
i.0
else.
v=. +/\ (m-1)!(1-m)}.i.-n
k=. (v'>'y) i. 1
k,(1+k)+(x-1,1+k)ci(y-k{0,v)
end.
)
5 cfi 6d.
0 1
5 cfi 33
|assertion failure: cfi
| y'<'2^x