Apart from compatibility with Rank (which didn't exist in Dyalog before 14.0), why do you think adding leading ones to the shape is "obvious"? Why not trailing ones, for example?
Jay. On Fri, 24 Sep 2021, 15:48 Elias Mårtenson, <loke...@gmail.com> wrote: > Fair enough. That said, I think dzaima/APL implements it. As does KAP now. > > It's also a pretty obvious implementation, and the behaviour orthogonal, > instead of having a special case for scalars. > > Regards, > Elias > > On Fri, 24 Sept 2021 at 22:35, Jay Foad <jay.f...@gmail.com> wrote: > >> Elias, >> >> This was an extension to Mix in Dyalog 14.0 >> (http://docs.dyalog.com/14.0/Dyalog%20APL%20Release%20Notes.pdf p22) >> inspired by the way the Rank operator assembles results with differing >> ranks. I'm not aware of any other APL2-like APLs implementing this >> extension. >> >> Jay. >> >> On Wed, 22 Sept 2021 at 14:20, Elias Mårtenson <loke...@gmail.com> wrote: >> > >> > The following expression should work, if I'm reading the ISO spec >> correctly: >> > >> > ⊃ 3 (1 2) (2 2 ⍴ 0 1 2 3) >> > >> > It does work on Dyalog, and gives the expected result. >> > >> > Regards, >> > Elias >> >
