I think the _1 in explicit verb ranks cannot be applied to e. , i.e its ranks cannot be _ _1 _ becaus with e., the "effective" ranks it uses for x depends on the argument rank of y:
1 2 3 e. i. 10 NB. x considered at rank 0 1 1 1 1 2 3 e. i. 10 3 NB. the same x considered at rank 1 0 0 1 2 e. i. 10 3 1 So, I don't think there's a way to describe e.'s left and right ranks other than _ _. Jan-Pieter On Mon, Sep 20, 2021, 22:14 Michal Wallace <[email protected]> wrote: > We say x e. y tests whether each item of x is an item of y, and thus has > rank _ _ ... > > Wouldn't it be equivalent (and simpler?) to say that x e. y is a verb that > checks whether x is an item of y, and has rank _1 _ ? > > I guess I'm asking whether the choice of those two is just an > implementation detail...? > If so, are they basically equivalent, or is there a strong reason to prefer > one over the other? > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
