Raul Miller-4 wrote: > > On Fri, Nov 12, 2010 at 2:42 AM, Viktor Cerovski > <[email protected]> wrote: >> Raul Miller-4 wrote: >>> On Thu, Nov 11, 2010 at 6:39 PM, Viktor Cerovski >>> <[email protected]> wrote: >>>> 1) absolute/explicit ranks are non-negative ones >>>> 2) negative/relative ranks, and, >>>> 3) infinite/undefined ranks. >>>> >>>> For the first kind equation v"v === v holds, but not for the other two >>>> kinds. >>> >>> Where does case 3 differ? >>> >> For example, If we have two verbs v"_1 and v"_, the actual rank of the >> former is derived from the shape of the argument(s) provided, while >> the actual rank of the latter is derived from the rank of v alone. Both >> are of course different from, say, v"1, which has rank 1 1 1. > > v"_1 is case 2, not case 3. > Exactly, I was exemplifying the difference between these two cases.
> if v"_ is an example then +"1 would also be an example. > It would in a trivial sense, since we know that the rank of + is 0 0 0. In the case of v"_, however, there is no way to figure out action of the verb without inspecting v. Even then, v might have again rank _, and then we still don't know the action of the verb until further inspection of its action. Consider for instance cases when v is ]@:+ or +/ or (+ +/"1). All three have infinite ranks according to b. 0 but all the same different cell actions, that could be described with ranks 0, _ and 0 1, respectively. -- View this message in context: http://old.nabble.com/Atop-u%40v-with-v-of-negative-monadic-rank-tp30177684s24193p30200703.html Sent from the J Programming mailing list archive at Nabble.com. ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
