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
