On 7 July 2016 at 11:07, Jay Foad wrote:
> (I think you meant ⊂f/A g B on the RHS?)
No, I don't think I did. That enclosure is already a result of reduction.
In any case, the problem seems not to be related to inner product or to
parsing of multiple operators at all. It manifests in any reduction of
a deeply nested array with a primitive function. Lambdas work fine.
Even when using single-element arrays, the result still has a wrong shape:
X←⊂¨,¨⍳2 ⋄ (≡+/X) ≡ (≡{⍺+⍵}/X)
0
X←⊂¨,¨⍳3 ⋄ (⍴⊃+/X) ≡ (⍴⊃{⍺+⍵}/X)
0
-k
