Let me try to explain why I asked for the change. On Wed, Nov 10, 2010 at 12:41 PM, Dan Bron <[email protected]> wrote: > [1] The reason negative ranks are covered with unbounded ranks is [..] And > since "_ is a no-op (never changes the result of a verb), it can always serve > as a placeholder (this is why it is reasonable that e.g. *:^:_1 or (* + %) > have unbounded rank when queried with b. even though they're obviously & > permanently scalar).
That's my problem here: (f"_ _ _) does mean just (f), so representing the rank with (_ _ _) is fine. However, here, the queried rank is (1 _ 1) and (f"1 _ 1) is not the same as (f). I'm asking that you change the queried rank in some way that (f"f) always has the same meaning as just f has. On Wed, Nov 10, 2010 at 11:40 AM, Zsbán Ambrus <[email protected]> wrote: > f=: ;"_1 1 > 'ab' f i.2 3 > +-+-----+ > |a|0 1 2| > +-+-----+ > |b|3 4 5| > +-+-----+ > f b. 0 >1_ 1 'ab' f"1 _ 1 i. 2 3 +-+-----+ |a|0 1 2| +-+-----+ |b|0 1 2| +-+-----+ +-+-----+ |a|3 4 5| +-+-----+ |b|3 4 5| +-+-----+ Ambrus ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
