Sorry, a better example is to use ,&, instead of ,@, . That is, compare
x=: i.2 3 y=: 7 x , rank _ _ _ y x ,&, rank _ _ _ y ----- Original Message ----- From: Roger Hui <[EMAIL PROTECTED]> Date: Saturday, June 23, 2007 8:34 am Subject: Re: [Jgeneral] Let's get explicit about dyadic verb processing > The rank model is not responsible for making 7 into > into 7 7 7. That is part of the internal workings > of the particular verb, and in this case it > happened because of > > 1. Reshaping an atomic argument to the shape > of the items of the other > > in the verb , (append) > http://www.jsoftware.com/help/dictionary/d320.htm > > Compare > x=: i.2 3 > y=: 7 > x , rank _ _ _ y > x ,@, rank _ _ _ y > All the intermediate parts of the rank model up to > assembly are the same. At the step > > After agreement, the phrase v&.> applies v > under > to corresponding boxed left and right > argument cells > > In the first case the v (,) made the 7 into 7 7 7 > as part of its application, in the second case > the v (,@,) did something else in its application. > > > > ----- Original Message ----- > From: Brian Schott <[EMAIL PROTECTED]> > Date: Saturday, June 23, 2007 6:00 am > Subject: Re: [Jgeneral] Let's get explicit about dyadic verb > processing > > On closer reading, I think I see that the > > "upgrading" of <7 to <7 7 7 is an example of "prefix > > agreement" which is mentioned but is not demonstrated with > > an example, afaik. It is also true that (the shape of) the > > frame of 7 is 0, and therefore contains 0, so this > > phenomenon is likely an example of the issue anticipated by > > the "Zero Frame" subsection. > > > > _ fr y > > > > $_ fr y > > 0 > > > > > > On Sat, 23 Jun 2007, Brian Schott wrote: > > > > + Roger, > > + > > + I tried to follow your Essay/Rank through with one > > + of Terrence's examples and there seems to be a missing step. > > + Perhaps that step has to do with the zero frame exception > > + which I did not delve into? More specifically, the last > > + executed line below, ] za=: xa,&.>ya , seems to skip the > > + step of showing how xa and ya are assembled: it does not > > + show how <7 gets converted to <7 7 7 . I am suggesting there > > + may be an omission, not an error, in the Essay. > > + > > + Also, btw, it appears that a typo creeped into your > > + first example, wherein x *"0 1 y should be x *"0 _1 y > > + [notice that 1 should be _1]. > > + > > + > > + *****Terrence's example applied to Roger's Essay follows**** > > + > > + x =: i. 2 3 > > + y =: 7 > > + x,y > > + 0 1 2 > > + 3 4 5 > > + 7 7 7 > > + > > + , b. 0 > > + _ _ _ > > + > > + _ (er;fr;cs;cells) x > > + +-++---+-----+ > > + |2||2 3|0 1 2| > > + | || |3 4 5| > > + +-++---+-----+ > > + _ (er;fr;cs;cells) y > > + +-+++-+ > > + |0|||7| > > + +-+++-+ > > + ] xc=: _ cells x > > + +-----+ > > + |0 1 2| > > + |3 4 5| > > + +-----+ > > + ] yc=: _ cells 7 > > + +-+ > > + |7| > > + +-+ > > + ] xa=: xc lag yc > > + +-----+ > > + |0 1 2| > > + |3 4 5| > > + +-----+ > > + ] ya=: xc rag yc > > + +-+ > > + |7| > > + +-+ > > + ] za=: xa,&.>ya > > + +-----+ > > + |0 1 2| > > + |3 4 5| > > + |7 7 7| > > + +-----+ > > + > > + *****Terrence's example applied to Roger's Essay above **** > > + > > + > > + > > + On Fri, 22 Jun 2007, Roger Hui wrote: > > + > > + + Your worksheet uses English prose which is difficult > > + + to get precise and correct. What is needed is an > > + + expression of the ideas and rules in an executable > > + + notation. I have just the thing: > > + + http://www.jsoftware.com/jwiki/Essays/Rank ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
