<"_1"_1 i.2 3 gets parsed as
(<"_1"_1) (i.2 3) ----- Original Message ----- From: Linda Alvord <[email protected]> To: [email protected] Cc: Sent: Friday, May 8, 2015 11:54 PM Subject: Re: [Jprogramming] Puzzle: nontransitive rank 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 ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
