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 + + (B=) ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
