I can finally write two explicit versions of f without @ . They are g and h
]a=:?>:i.6
0 1 1 3 2 5
]b=:?>:i.6
0 1 2 1 4 3
f=: 13 :'(=x) #@# y'
f
] #@#~ [: = [
a f b
1 2 1 1 1
g=: 13 :'(=x) ([:# #)"# y'
a g b
1 2 1 1 1
h=: 13 :'(=x) ([:# #)"_ 1 _ y'
a h b
1 2 1 1 1
g
] ([: # #)"_ 1 _~ [: = [
h
] ([: # #)"_ 1 _~ [: = [
5!:4 <'f'
┌─ ]
│ ┌─ #
├─ ~ ─── @ ─┴─ #
──┤
│ ┌─ [:
└─────┼─ =
└─ [
5!:4 <'g'
┌─ ]
│ ┌─ [:
│ ┌───────┼─ #
──┼─ ~ ─── " ─┤ └─ #
│ └─ _ 1 _
│ ┌─ [:
└─────┼─ =
└─ [
This has bothered me for a long time and I think I finally understand it. If
you use ( )”e. you get ( )”_ _ _ which are the ranks you want for e.
Linda
-----Original Message-----
From: programming-boun...@forums.jsoftware.com
[mailto:programming-boun...@forums.jsoftware.com] On Behalf Of Linda Alvord
Sent: Friday, December 21, 2012 8:58 PM
To: programm...@jsoftware.com
Subject: Re: [Jprogramming] A Tree Question
Thanks Henry and Ric, This works
]a=:?>:i.6
0 1 1 3 3 4
]b=:?>:i.6
0 0 0 1 1 0
g=: 13 :'(=x) #@# y'
g
] #@#~ [: = [
a g b
1 2 2 1
NB. ([: f g)"(g b. 0) <=> ([: f g)"g <=> f@g
k=: (] (([: # #)"#)~ [: = [) ]
k
(] ([: # #)"_ 1 _~ [: = [) ]
a k b
1 2 2 1
Now I can figure out the tacit version of k .
Linda
-----Original Message-----
From: <mailto:programming-boun...@forums.jsoftware.com>
programming-boun...@forums.jsoftware.com [
<mailto:programming-boun...@forums.jsoftware.com>
mailto:programming-boun...@forums.jsoftware.com] On Behalf Of Ric Sherlock
Sent: Friday, December 21, 2012 7:24 PM
To: Programming JForum
Subject: Re: [Jprogramming] A Tree Question
Just to clarify
h"g <=> h"(g b. 0)
so
([: f g)"(g b. 0) <=> ([: f g)"g <=> f@g
On Sat, Dec 22, 2012 at 1:17 PM, Henry Rich < <mailto:henryhr...@nc.rr.com>
henryhr...@nc.rr.com> wrote:
> Oh, I'm sorry, I've been working with & so much lately that I used its
> rank. It should simply be
>
> ([: f g)"g <=> f@g
>
> Henry Rich
>
>
>
> On 12/21/2012 7:05 PM, Linda Alvord wrote:
>
>> Henry, I can't make your suggestion work.
>> a
>> 0 1 0 1 0 4
>> b
>> 0 0 2 3 2 3
>> i=: 13 :'(=x) #@# y'
>> i
>> ] #@#~ [: = [
>> a i b
>> 3 2 1
>> NB. ([: f g)"({. g b. 0) <=> f@g
>> k=: ] (([: # #)"({.# b. 0))~ [: = [
>> k
>> ] ([: # #)"_~ [: = [
>> a k b
>> 3
>>
>> What am I missing?
>>
>> Linda
>>
>> -----Original Message-----
>> From:
>> <mailto:programming-bounces@forums.**jsoftware.com%3cprogramming-boun...@forums.jsoftware.com%3e[mailto>
>>
>> programming-bounces@forums.**jsoftware.com<programming-boun...@forums.jsoftware.com>[mailto:
>>
>> <mailto:programming-bounces@**forums.jsoftware.com%3cprogramming-bounces@forums>
>> programming-bounces@**forums.jsoftware.com<programming-bounces@forums
>> .jsoftware.com>]
>> On Behalf Of Henry Rich
>> Sent: Friday, December 21, 2012 1:52 PM
>> To: <mailto:programm...@jsoftware.com> programm...@jsoftware.com
>> Subject: Re: [Jprogramming] A Tree Question
>>
>> Writing J without @@: is like writing English without the letter 'e'.
>> I don't know what it shows, and it sounds funny, but look! I did it.
>>
>> ([: f g) <=> f@:g
>> ([: f g)"({. g b. 0) <=> f@g
>>
>> Henry Rich
>>
>> On 12/21/2012 1:30 PM, Linda Alvord wrote:
>>
>>> So how can you write an equivalent explicit expression that will
>>> have the same result of g without @ or @: ?
>>>
>>> -----Original Message-----
>>> From:
>>>
>>> <mailto:programming-bounces@forums.**jsoftware.com%3cprogramming-bounces@forum>
>>> programming-bounces@forums.**jsoftware.com<programming-bounces@forum
>>> s.jsoftware.com>
>>> [mailto:programming-bounces@**forums.jsoftware.com<programming-bounc
>>> <mailto:e...@forums.jsoftware.com> e...@forums.jsoftware.com>]
>>> On Behalf Of bob
>>> therriault
>>> Sent: Friday, December 21, 2012 1:02 PM
>>> To: <mailto:programm...@jsoftware.com> programm...@jsoftware.com
>>> Subject: Re: [Jprogramming] A Tree Question
>>>
>>> Hi LInda,
>>>
>>> Since forks result in verbs of infinite rank (unless changed by the
>>> rank conjunction), #@# is not actually equivalent to ([:##),
>>> although #@:# is. Watch what happens when I swap @: for @
>>>
>>> g=: 13 :'(=x) #@# y'
>>> a=:0 0 1 0 1 5
>>> b=:0 1 1 3 2 3
>>> a g b
>>> 3 2 1
>>> g1=:13 :'(=x) #@:# y'
>>> a g1 b
>>> 3
>>>
>>> Cheers, bob
>>>
>>> On 2012-12-21, at 9:51 AM, Linda Alvord wrote:
>>>
>>> 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%3chttp:/www.jsoftware.com/foru>
>>>> http://www.jsoftware.com/**forums.htm<http://www.jsoftware.com/foru
>>>> ms.htm>
>>>>
>>>
>>> ------------------------------**------------------------------**
>>> ----------
>>> For information about J forums see
>>> <http://www.jsoftware.com/**forums.htm%3chttp:/www.jsoftware.com/forum>
>>> http://www.jsoftware.com/**forums.htm<http://www.jsoftware.com/forum
>>> s.htm>
>>>
>>> ------------------------------**------------------------------**
>>> ----------
>>> For information about J forums see
>>> <http://www.jsoftware.com/**forums.htm%3chttp:/www.jsoftware.com/forum>
>>> http://www.jsoftware.com/**forums.htm<http://www.jsoftware.com/forum
>>> s.htm>
>>>
>>> ------------------------------**------------------------------**
>> ----------
>> For information about J forums see
>> <http://www.jsoftware.com/**forums.htm%3chttp:/www.jsoftware.com/forums>
>> http://www.jsoftware.com/**forums.htm<http://www.jsoftware.com/forums
>> .htm>
>>
>> ------------------------------**------------------------------**
>> ----------
>> For information about J forums see
>> <http://www.jsoftware.com/**forums.htm%3chttp:/www.jsoftware.com/forums>
>> http://www.jsoftware.com/**forums.htm<http://www.jsoftware.com/forums
>> .htm>
>>
>> ------------------------------**------------------------------**
> ----------
> For information about J forums see
> <http://www.jsoftware.com/**forums.htm%3chttp:/www.jsoftware.com/forums>
> http://www.jsoftware.com/**forums.htm<http://www.jsoftware.com/forums.
> htm>
>
----------------------------------------------------------------------
For information about J forums see <http://www.jsoftware.com/forums.htm>
http://www.jsoftware.com/forums.htm
----------------------------------------------------------------------
For information about J forums see <http://www.jsoftware.com/forums.htm>
http://www.jsoftware.com/forums.htm
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
