Marc, your reference was helpful.

   Jos=:(1 }. ] |.~ [: <: [)^:(1 < [: # ])^:_ [: i. ]
   Josephus2 =: 4 :'(|x&+)/i.->:y'

The 4 indicates a dyad function only:

    Jos 12
10
   Josephus2 12
|domain error: Josephus2
|       Josephus2 12
   

Jos allows a monadic result, but I have no idea of its meaning.  Josephus
does not allow a monadic use.

Thanks.  Linda



On Wed, May 8, 2013 at 8:27 AM, Linda Alvord <[email protected]>wrote:

> Since both verbs are dyadic, what is the meaning of  4 :  in Josephus2 ?


I'm not sure I understand your question-you defined Josephus2 as a dyadic
verb.

':' is the explicit definition conjunction (m : n). Where the left argument
'm' is 4, a dyadic verb is produced; 'n' is the body of the verb. (See
http://www.jsoftware.com/help/dictionary/d310n.htm.)

Best,
Marc
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to