Why do the trees of g and h appear to agree, but their results are not
the same?
]a=:?>:i.6
0 0 1 0 1 5
]b=:?>:i.6
0 1 1 3 2 3
f=: 13 :'x#/.y'
f
#/.
a f b
3 2 1
g=: 13 :'(=x) #@# y'
g
] #@#~ [: = [
a g b
3 2 1
NB. x u@v y ↔ u x v y
h=: 13 :'(=x) ([:##) y']
h
(] ([: # #)~ [: = [) ]
a h b
3
5!:4 <'g'
┌─ ]
│ ┌─ #
├─ ~ ─── @ ─┴─ #
──┤
│ ┌─ [:
└─────┼─ =
└─ [
5!:4 <'h'
┌─ ]
│ ┌─ [:
├─ ~ ──────┼─ #
┌───┤ └─ #
│ │ ┌─ [:
──┤ └─────┼─ =
│ └─ [
└─ ]
g
] #@#~ [: = [
h
(] ([: # #)~ [: = [) ]
Backtracking i and j are OK.
i=: 13 :'x #@# y'
i
#@#
a i b
7
j=: 13 :'#x#y'
j
[: # #
a j b
7
5!:4 <'i'
┌─ #
── @ ─┴─ #
5!:4 <'j'
┌─ [:
──┼─ #
└─ #
I have tried to include rank of the verbs but I haven’t found the right
combination if that is what is necessary.
Linda
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
