I'm still digesting this (using indices to make induction work seems like a great idea).
That said, if I understand you right, cd could be implemented more simply: cd=: [: <@|./. |. -- Raul ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
