An empty vector is a prefix of every vector.
----- Original Message ----- From: Terrence Brannon <[EMAIL PROTECTED]> Date: Friday, January 4, 2008 16:53 Subject: [Jgeneral] 100 200 +"0"_ 0 (1 2 3) NB. there is no common frame? To: J-general forum <[email protected]> > I'm trying to trace the execution of > > 100 200 +"0"_ 0 (1 2 3) > > but it seems that the right and left frames do not have a prefix: > > Here is how I attempted to work out this expression: > > J Language Dyadic Verb Processing Worksheet > =========================================== > > Write out the entire expression: > 100 200 +"0"_ 0 (1 2 3) > Write out the abbreviated verb rank: _ 0 > Expand the verb rank(*1): 0 _ 0 > > Rank Calculation: > ---------------- > left-noun- > rank: 1 right-noun-rank: 1 > left-verb- > rank: infinite right-verb-rank: 0 > lesser left rank, lr = > 1 lesser right rank, rr = 0 > > The verb will be applied to 1-cells of the left operand > and 0-cells of the right operand. > > left-noun-shape: > 2 right-noun-shape: 3 > > Frame Calculation per > http://www.jsoftware.com/jwiki/Essays/A_Fine_Line---------------- > ------------------------------------------------------- > left-frame: lf = | > 2 right-frame: rf = 3 | > > I.e - left frame is empty, right frame is 3 > > Result frame (longer of two): 3 > Common frame is prefix of the two: NO PREFIX... > > > > And that is where my attempt to solve this ends because I > thought that > the frames needed a common prefix if the shapes were not the > same as > stated here - > > > http://www.jsoftware.com/help/jforc/loopless_code_i_verbs_have_r.htm#_Toc141157994 ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
