The equivalence (from the voc. page for @) x u@v y ↔ u x v y
only seems to apply in some cases. For instance, with x =: 1 2 3 4 y =: 5 6 7 8 u =: */ v =: + this is most certainly false. After exploring a number of cases, it seems likely that x u@v y ↔ u"rv x v y where rv is the right rank of v. Is this true in all cases? If so, I'd be grateful if the dictionary could be updated accordingly. Matt Baulch ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
