The correction of the calculation is simple and does not alter the
substance of my question
It is in the step stage which should read (2}.\:~ p),{.k and not 2}.\:~ p,{.k
In addition I misread what the y format should be in Henry's version
(which again makes me think it is unnecessarily complicated). So the
updates are:
knave2=: 3 : '((2}.\:~ (>{.y)),{.>{:y);}.>{:y' NB. Added parenthesis
>{. knave2^:(#k) p;k
10 10 5 5 25 10
2}. {: knave LoopWithInitial inity k
10 10 5 5 25 10
--
martin
http://impartialism.blogspot.com
"Reality is that which, when you stop believing in it, doesn't go away" PK Dick
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm