Pascal, You show:
<"1 i.2 3
┌─────┬─────┐
│0 1 2│3 4 5│
└─────┴─────┘
Since
_1 i.2 3
1 1
<"1 1
<"1 1
This should be necessary to get what you show:
(<"_1) i.2 3
┌─────┬─────┐
│0 1 2│3 4 5│
└─────┴─────┘
In this example I can't reproduce your result in jqt or JHS.
_1"_1 i.2 3
_1 _1
(_1"_1) i.2 3
_1 _1
Linda
-----Original Message-----
From: [email protected]
[mailto:[email protected]] On Behalf Of 'Pascal Jasmin'
via Programming
Sent: Thursday, May 7, 2015 6:48 PM
To: [email protected]
Subject: Re: [Jprogramming] Puzzle: nontransitive rank
an example of your 2nd and 3rd reason
<"_1 i.2 3
┌─────┬─────┐
│0 1 2│3 4 5│
└─────┴─────┘
<"_1"_1 i.2 3
┌─┬─┬─┐
│0│1│2│
├─┼─┼─┤
│3│4│5│
└─┴─┴─┘
----- Original Message -----
From: Raul Miller <[email protected]>
To: Programming forum <[email protected]>
Cc:
Sent: Thursday, May 7, 2015 6:43 PM
Subject: Re: [Jprogramming] Puzzle: nontransitive rank
Unfortunately, there is...
Ok, first, the first and third elements of the verb rank must be identical for
+"0 _1.
Second though, for a rank of _1 to be applied to the inner verb, the definition
as a whole needs to see the entire rank of the argument(s).
Third, you'd still get inconsistent results between a verb like u"0 _1 and a
verb like u"0 _1"0 _1. Not with this thread's specific example, but do you see
why they would exist?
Thanks,
--
Raul
---
Raul
On Thu, May 7, 2015 at 5:09 PM, 'Pascal Jasmin' via Programming
<[email protected]> wrote:
> is there a reason to call
>
> (+" 0 _1) b. 0
> _ 0 _
>
> a feature?
>
> why should it not be
>
> _ 0 _1
>
> ?
>
>
>
> ----- Original Message -----
> From: Marc Simpson <[email protected]>
> To: Programming forum <[email protected]>
> Cc:
> Sent: Thursday, May 7, 2015 4:33 PM
> Subject: Re: [Jprogramming] Puzzle: nontransitive rank
>
> Or indeed
>
> enigma=. +"0 _1
>
>
> On Thu, May 7, 2015 at 9:30 PM, Marc Simpson <[email protected]> wrote:
>
>> enigma=. +"_1 0 _1
>> 1 2 enigma 1 2
>> 2 4
>> 1 2 enigma"enigma 1 2
>> 2 3
>> 3 4
>>
>> On Thu, May 7, 2015 at 9:19 PM, 'Pascal Jasmin' via Programming <
>> [email protected]> wrote:
>>
>>> cool puzzle that seems unsolvable given
>>> http://www.jsoftware.com/help/dictionary/d600xv.htm
>>>
>>> the property of enigma is that when operated at its "native rank" it
>>> returns the first result, but
>>>
>>> enigma"enigma applies enigma at enigma's rank, and so how could this
>>> be different?
>>>
>>>
>>> ----- Original Message -----
>>> From: Henry Rich <[email protected]>
>>> To: Programming forum <[email protected]>
>>> Cc:
>>> Sent: Thursday, May 7, 2015 3:25 PM
>>> Subject: [Jprogramming] Puzzle: nontransitive rank
>>>
>>> 1 2 enigma 1 2
>>> 2 4
>>> 1 2 enigma"enigma 1 2
>>> 2 3
>>> 3 4
>>>
>>> enigma is a short verb. What might it be?
>>>
>>> Henry Rich
>>> --------------------------------------------------------------------
>>> -- For information about J forums see
>>> http://www.jsoftware.com/forums.htm
>>> --------------------------------------------------------------------
>>> -- For information about J forums see
>>> http://www.jsoftware.com/forums.htm
>>>
>>
>>
> ----------------------------------------------------------------------
> For information about J forums see http://www.jsoftware.com/forums.htm
> ----------------------------------------------------------------------
> For information about J forums see http://www.jsoftware.com/forums.htm
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
