On 7 July 2016 at 11:39, Kacper Gutowski <[email protected]> wrote: > 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. >
I was thinking of cases like this (in GNU APL):
(+/3 4 ⍴ 5 6)≡3 4 +.⍴ 5 6
0
(⊂+/3 4 ⍴ 5 6)≡3 4 +.⍴ 5 6
1
Jay.
