Thanks for the feedback; it helps.
a. The entry is somewhat tricky because it can also produce a noun, an
adverb or a conjunction but mv lv rv makes sense for a named verb. The
situation for m~ and m f. is similar and I would expect the corresponding
dictionary's rank information for both entries to be similar as well.
b. I would suggest to state the rank in the dictionary entry, as it is done
for the monadic verb {: entry, for consistency and clarity.
c. I understand.
Another related matter: the stated rank for bond (m&v and u&n) is _ 0 _ ;
yet, for instance,
(3&+) b.0
_ _ _
I think regarding the interpreter b.0 is correct.
On Tue, Jul 23, 2013 at 4:57 PM, Roger Hui <[email protected]>wrote:
> a. The dictionary entry for m~ should not say that its rank is _ . The
> ranks should be mv lv rv, which are the ranks of the named verb. For
> example:
>
> goo=: 4"1 2 3
> 'goo'~ b. 0
> 1 2 3
>
> b. *Even* and *odd* derive verbs whose dyadic domains are empty. The
> equivalence stated in the dictionary entry is, like many other equivalences
> in the dictionary, is interpreted WRT the rank, itself currently unstated
> in the dictionary entry.
>
> c. Every verb has a monadic, left dyadic, and a right dyadic domain, so it
> makes sense that the result of b.0 is a 3-element vector list. Some mental
> jujitsu is required to interpret the preceding as one or more of these
> domains may be empty.
>
>
>
>
> On Mon, Jul 22, 2013 at 1:17 PM, Jose Mario Quintana <
> [email protected]> wrote:
>
> > III. Definitions ( http://www.jsoftware.com/help/dictionary/dict3.htm )
> > explains the rank information shown in the vocabulary entries for verbs.
> > Most of the other entries also have what it seems to be the rank
> > information of verbs that they produce. The following are just a few
> > related questions:
> >
> > What is the meaning of _ in the Evoke (m~) entry?
> >
> > The entry for Even (..) (and Odd (.:)) has no rank information.
> However, I
> > have not been able to produce verbs with ranks other than _ 0 0 (as
> > reported by b.0). Incidentally, it is stated that
> >
> > u .. v ↔ (u + u&v) % 2:
> >
> > However, from my point of view, there are two related main differences:
> > rank, for
> > example,
> >
> > (^ .. -) b.0
> > _ 0 0
> > ((^ + ^&-) % 2:) b.0
> > _ _ _
> >
> > and domain, for example,
> >
> > 1 2 ((^ + ^&-) % 2:) 3 4
> > 0 8.03125
> > 1 2 (^ .. -) 3 4
> > |domain error
> > | 1 2 (^ ..-)3 4
> >
> > u .. v is defined as a monadic verb (the trailing 0 0 reported by b.0
> > appears to be a default filler as in {: b.0) as its entry discussion
> seems
> > to imply. Presumably there was a good reason for this constraint. What
> is
> > it?
> > ----------------------------------------------------------------------
> > 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
