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
