On Fri, May 25, 2012 8:48 am, Steven Taylor wrote: > (This may be overkill... but I got curious... just an observation). > > d1 and d2 are the same, d3 requires a double box. I thought I'd get the > d3 > result in d2. > > I'm okay with this... but this result still doesn't make sense.
It makes sense to me. Perhaps I can explain. > Note that > the box in d2 *<(1 2 3) *gets dropped*. *But, the last item stays the > same. This is the definition of ; . The right argument gets boxed if it is not already boxed, as in d1, and is left as is if it is boxed, as in d2 and d3. So d1 and d2 are supposed to be the same, and d3 is supposed to be different. Does it make sense that way, or have I missed something about your confusion? > [d1=.(<(1;(1 2))),(<(2;<(3 4))),(<(2;<(3 4;<(4 5)))),(<(2;<(3 4;4 5;(1 2 > 3)))) > [d2=.(<(1;(1 2))),(<(2;<(3 4))),(<(2;<(3 4;<(4 5)))),(<(2;<(3 4;4 5;<(1 2 > 3)))) > [d3=.(<(1;(1 2))),(<(2;<(3 4))),(<(2;<(3 4;<(4 5)))),(<(2;<(3 4;4 5;<<(1 2 > 3)))) > d1=d2 NB. yes > d1=d3 NB. no > d2=d3 NB. no > > > On 25 May 2012 05:18, bill lam <bbill....@gmail.com> wrote: > >> if ; were symmetric, then the result of >> >> 1;2;3;4;5 >> >> will be quite unexpected. try display >> >> 1;<2;<3;<4;<5 >> >> Птн, 25 Май 2012, Steven Taylor пиÑал(а): >> > Strange. Even though I know the rule, I keep expecting ; to to be >> symetric >> > for nesting. One of those things I guess. >> > >> > thanks for the (,< suggestion. >> > -Steven >> > ---------------------------------------------------------------------- >> > For information about J forums see http://www.jsoftware.com/forums.htm >> >> -- >> regards, >> ==================================================== >> GPG key 1024D/4434BAB3 2008-08-24 >> gpg --keyserver subkeys.pgp.net --recv-keys 4434BAB3 -- Edward Mokurai (默雷/निशब्दगर्ज/نشبدگرج) Cherlin Silent Thunder is my name, and Children are my nation. The Cosmos is my dwelling place, the Truth my destination. http://wiki.sugarlabs.org/go/Replacing_Textbooks ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
