On 4/22/07, Dan Bron <[EMAIL PROTECTED]> wrote:
Terrence,
Henry's response was correct: the behavior you term "long-frame rationing"
(lfr) is an absolute property of J. It is not a
property of individual verbs.
Not all verbs have the same intrinsic rank (verb rank *IS* a property of
individual verbs), so given identical inputs, lfr can
occur with one verb but not another.
But lfr does __not__ depend on the definition of any specific verb, only on
that verb's rank. An arbitrary user-defined verb can
demonstrate lfr:
'abc' anything_I_like"_ 0 'defg'
This will result in
('abc' anything_I_like 'd'),
('abc' anything_I_like 'e'),
('abc' anything_I_like 'f'),
('abc' anything_I_like 'g')
Actually the piecing apart of the right noun you do here depends on
the verb... the lat thing you can do in general here, is pair the left
and right noun by the common frame, which in this case means pairing
the operands in toto.
The frame is empty, so no automatic J-language-based
long-frame-rationing/short-frame-replication will occur.
What you show above depends entirely on the dictionary def of the
verb... my derivation follows:
Write out the entire expression: 'abc' anything_I_like"_ 0 'defg'
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: _ 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 to 0-cells of the right operand.
left-noun-shape: 3 right-noun-shape: 4
Frame Calulation(*2):
--------------------
left-frame: lf = empty right-frame: rf = 4
common frame: cf = empty
length of this common frame: rcf = 0
-rcf = (_0)
Operand Pairing:
---------------
1. Pair by common frame consisting of (-rcf)-cells: (*3) (*4)
['abc']['defg']
2. If the frame are empty, continue to step 3.
Pair by long-frame rationing if the frames are not empty.
Long-frame rationing algorithm:
If the frames are the same length, then you simply pair them 1 by 1.
3. Look up the verb (*5)
not possible in this case. no further derivation possible.
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
