Re: Disclose fails with mixed ranks

[Jay Foad]

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, <lokedhs@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.foad@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 <lokedhs@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