0. Welcome to J!
1. If you are able to get that far entirely on your own, my hat is off
to you. You're a J natural, and I think you'll enjoy the language.
2. Your analysis is brilliant, though not quite perfect. rv must mean,
not the right rank of v, but instead the rank of a result-cell of v.
And even then, the equivalence would not be exact, because of changes to
result-cells when they are assembled into the overall result of v.
3. The best resource for learning J is NuVoc. It fills in the gaps in
the Dictionary, corrects errors like this one, and has tutorial
information. For u@v, see
http://code.jsoftware.com/wiki/Vocabulary/at
4. The Dictionary is not actively maintained. Don't expect an update.
But NuVoc is a Wiki, so do what you can to improve it!
Henry Rich
On 1/2/2016 8:59 PM, Matthew Baulch wrote:
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
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
