That x∊y in APL acts as if x∊,y is "original sin" from APL\360, and is an obstacle to extending the definition of ⍳ (i. in J) to higher-ranked left arguments.
In modelling e. you can not just apply <"_1 to both arguments. You can apply <"r where r is <:#$y, but the left argument can have rank > 1+r. On Fri, Aug 31, 2012 at 6:54 AM, Devon McCormick <[email protected]> wrote: > I guessed this made some sense I wasn't seeing, with the rank of " e. > " being _ rather than 1 as I thought. > > 0 1 e. i.2 2 > 1 > > > On Fri, Aug 31, 2012 at 9:43 AM, Raul Miller <[email protected]> > wrote: > > That's how it's supposed to work. > > > > none of the items (well.. just one item) of 0 is an item of i.2 2 > > > > Try this: > > > > boxitems=: <"_1 > > > > 0 =/&boxitems i. 2 2 > > > > FYI, > > > > -- > > Raul > > > > > > > > On Fri, Aug 31, 2012 at 9:38 AM, Devon McCormick <[email protected]> > wrote: > >> I recently noticed this about " e. " but can't decide whether or not > it's a bug: > >> > >> 0 e. i. 2 2 > >> 0 > >> i. 2 2 NB. I'm pretty sure zero is in there... > >> 0 1 > >> 2 3 > >> 0 e.~ i. 2 2 > >> 1 0 > >> 0 0 > >> > >> On Fri, Aug 31, 2012 at 8:20 AM, Zsbán Ambrus <[email protected]> > wrote: > >>> On Fri, Aug 31, 2012 at 10:05 AM, R.E. Boss <[email protected]> > wrote: > >>>> Perhaps you should incorporate it in Bron's > http://www.jsoftware.com/jwiki/PrimitivePrimitives > >>> > >>> You'd need a more complicated phrase there, something that supports a > >>> higher rank y argument in (x e. y). > >>> > >>> Ambrus > >>> ---------------------------------------------------------------------- > >>> For information about J forums see http://www.jsoftware.com/forums.htm > >> > >> > >> > >> -- > >> Devon McCormick, CFA > >> ^me^ at acm. > >> org is my > >> preferred e-mail > >> ---------------------------------------------------------------------- > >> For information about J forums see http://www.jsoftware.com/forums.htm > > ---------------------------------------------------------------------- > > For information about J forums see http://www.jsoftware.com/forums.htm > > > > -- > Devon McCormick, CFA > ^me^ at acm. > org is my > preferred e-mail > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
