On 7 July 2016 at 03:59, Kacper Gutowski <[email protected]> wrote: > The standard explicitly says A f.g B ←→ f/A g B when A & B vectors. >
(I think you meant ⊂f/A g B on the RHS?)
But in the +.(+.+) case, it's Dyalog that gives unexpected results:
>
> +/A(+.+)B
> 33 66 66 66
> A+.(+.+)B
> 99 132
>
The reason for this is that, despite what the standard says, Dyalog
actually implements A f.g B ←→ f/A g¨ B:
A+.(+.+)B
99 132
+/A+.+¨B
99 132
Jay.
