> -----Original Message----- > From: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] On Behalf Of Terrence Brannon > Sent: Sunday, April 22, 2007 6:14 PM > To: General forum > Subject: Re: [Jgeneral] long-frame rationing when the shapes > are not equal > > On 4/22/07, Henry Rich <[EMAIL PROTECTED]> wrote: > > You are saying that long-frame rationing doesn't happen sometimes. > > What is the precise definition of long-frame rationing? Does this > process ration the longer-frame noun into 0-cells always? If not, what > determines what it is rationed into?
0-cells have no significance whatsoever, which I assume is the basis of the confusion. The rank of the cells is given by the corresponding rank of the verb. The frame is then whatever is left. Cells of the shorter-frame operand are replicated to fill in the missing axes in the shorter frame. For example, if the frames are (x) 2 3 and (y) 2 3 4 5, each cell of x is replicated to form a 4x5 array, which is then matched one-to-one with y. Note that we haven't said what the rank of a cell of x or y is: that comes from the verb, and it can be anything, and not necessarily the same for x and y. All this is done without knowing what the verb is. Once the cells are matched up, you look at Ye Dic to see what the verb does on cells. Henry Rich > > > I say it always does. Let's try to resolve this. > > > > You give the example 2 3 4 5 4 3 -. 2 3 . > > But, as you have said, the frame for each operand is empty. > > (this is another way of saying that the verb is applied to its > > operands in their entirety). There is no frame that is longer > > than the other, so there is nothing to repeat. So long-frame > > rationing is performed, it just doesn't do anything. > > Ok, just restating the above, with a bit more focus. Does J or the J > verb decide how the rationing occurs? We see no mention of rationing > in any J verb correct? It is a property of the J interpreter and > described elsewhere? > > > > > Right? > > > > Some verbs can operate on operands of dissimilar shapes. , > > is an example. To find out what , does AFTER all the frame > > and replication stuff happens, you have to know what , does > > on its operands. You find that by reading the Dictionary. > > Ok, I've added a step 3 under Operand Pairing here: > http://hg.metaperl.com/j?f=d739eb121368;file=doc/dyad-proc.txt > ;style=raw > > Does the operand pairing section look sane to you now? > > > > > For verbs of infinite rank, like , and -. , the rules for > > agreement and replication end up by saying that the verb operates > > on each operand in toto. But that's not an exception to the > > rules - it's a consequence of the rules when the verb has infinite > > rank. There are no exceptions to these rules. > ---------------------------------------------------------------------- > For information about J forums see > http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
