Yes, also: cd=: </.&.(|."1"_)
----- Original Message ----- From: "Miller, Raul D" <[EMAIL PROTECTED]> Date: Thursday, January 4, 2007 12:14 pm Subject: RE: [Jgeneral] Array-oriented proof? > 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=: [: <@|./. |. ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
