x u/ y being equivalent to x u"(lu,_) y is a much stronger statement and a more useful statement than 2*2 being equivalent to 2+2 . It is true for every x and y and is helpful in interpreting x u/ y .
> In addition, it creates confusion, and in the > Primer it already says that the VERB (v/), not the > noun-expression, has the (lu,_) rank: > The derived verb v/ has a left rank that is the left > rank of v and a right rank of _ Primer? Sorry, not my department. :-) ----- Original Message ----- From: Oleg Kobchenko <[EMAIL PROTECTED]> Date: Friday, September 22, 2006 2:42 pm Subject: Re: Cell (was Re: [Jgeneral] I expect a table of ordered pairs for this) > I thought about that. While the result of x u/ y is the same > as x u"(lu,_) y they are still equivalent to the same extent > as 2*2 is equivalent to 2+2. But how useful is that? > For J it is especially important to concern not only about > the results of noun-valued expressions, but construction of > tacit definitions. And it's the interplay of ranks and operators that > glue the tacit definitions together in the resulting tacit pipeline. > > In addition, it creates confusion, and in the > Primer it already says that the VERB (v/), not the > noun-expression, has the (lu,_) rank: > > The derived verb v/ has a left rank that is the left > rank of v and a right rank of _ > > > > --- Roger Hui <[EMAIL PROTECTED]> wrote: > > > It did not say that u/ is equivalent to u"(lu,_) , > > just that x u/ y is equivalent to x u"(lu,_) y . > > > > > > > > ----- Original Message ----- > > From: Oleg Kobchenko <[EMAIL PROTECTED]> > > Date: Friday, September 22, 2006 1:36 pm > > Subject: Re: Cell (was Re: [Jgeneral] I expect a table of > ordered pairs for this) > > > > > > Thus x u/ y is equivalent to > > > > x u"(lu,_) y where lu is the left rank of u . > > > > > > (i.3) <@(+"0 _) i.3 > > > +-----+-----+-----+ > > > |0 1 2|1 2 3|2 3 4| > > > +-----+-----+-----+ > > > (i.3) <@(+/) i.3 > > > +-----+ > > > |0 1 2| > > > |1 2 3| > > > |2 3 4| > > > +-----+ > > > > > > That does not look equivalent. > > > > > > What it should say: x u/ y is equivalent to x u"(lu,_)"_ y > > > > > > (i.3) <@(+"0 _"_) i.3 > > > +-----+ > > > |0 1 2| > > > |1 2 3| > > > |2 3 4| > > > +-----+ > > > > > > > > > --- Roger Hui <[EMAIL PROTECTED]> wrote: > > > > > > > You should also read section II b of the dictionary: > > > > > > > > http://www.jsoftware.com/help/dictionary/dictb.htm > > > > > > > > and the immediately following sentence in the > > > > dictionary entry for / : > > > > > > > > In general, each cell of x is applied to the > > > > entire of y . Thus x u/ y is equivalent to > > > > x u"(lu,_) y where lu is the left rank of u . > > > > > > ----------------------------------------------------------------- > ----- > > For information about J forums see > http://www.jsoftware.com/forums.htm> > > > __________________________________________________ > Do You Yahoo!? > Tired of spam? Yahoo! Mail has the best spam protection around > http://mail.yahoo.com > ------------------------------------------------------------------- > --- > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
