Jos=:[: : ((1 }. ] |.~ [: <: [)^:(1 < [: # ])^:_ [: i. ]) Jos 12
|domain error: Jos | Jos 12 On Thu, May 9, 2013 at 1:11 AM, Linda Alvord <[email protected]>wrote: > 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 > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
