Henry Rich wrote:
It IS a property of J. In your example, both frames are empty.
There is no frame that is longer than the other, so there's
nothing to repeat.
True, for all verbs of a given rank, the same set of cells are handled.
This is a property of J as a whole. The result of how a given verb
applies to a given pair of cells depends on the specific verb.
Take the following session excerpt:
1 2 3 (+"0) 1 2 3
1 1
2 2
3 3
1 2 3 (+"0) 1 2 3
2 4 6
Each sentence has 3 result cells. In the first case, the cells are
rank-1, in the second, rank 0. The frame in each case is 3. So the
result shapes are (3,2) and (3,'') or 3 2 and 3.
I wonder if Terrence is trying to understand the documents over the
interpreter. To me, understanding J is easier and more satisfying than
understanding meta-J.
It's like
'abc' , 'defg'
The rank of , is infinite, so there is no frame. You have to go to
the definition of , to see what it does with its operands.
Do you not mean that the frame is empty?
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm