It's not clear to me why this is a rank error. 2&|i.5 0 1 0 1 0 0:`1:@.0 1 0 1 0 0: 1: 0: 1: 0: (0:`1:@.0 1 0 1 0) i.5 1
That said, this line from nuvoc might be the issue: "The implied rank of m@.v y is the rank of y minus the rank of v y. y is then split into cells of that rank, and the gerund from m is applied to the appropriate cells. The gerund of m needs to be able to operate on a single cell of the implied rank, or an array of such cells, giving a result for each cell. The results are assembled into the final result." Here, the rank of v is infinite and the rank of y is 1, so the implied rank is __ Still: (0:`1:@.0 1 0 1 0)"__ i.5 1 1 1 1 1 Anyways, it's not clear to me why infinite rank v throws an error (nor why there are exceptions for some lengths of y where it does not throw an error.) Thanks, -- Raul On Tue, Dec 26, 2023 at 3:24 PM Henry Rich <henryhr...@gmail.com> wrote: > > See https://code.jsoftware.com/wiki/System/ReleaseNotes/J902 > > Henry Rich > > On 12/26/2023 3:11 PM, Devon McCormick wrote: > > I don't know about the history but in 9.5.5 (under Windows 10): > > (0:`1: @. (2&|)) i.4 > > 0 1 0 1 > > > > On Tue, Dec 26, 2023 at 7:44 AM Martin Kreuzer <i...@airkreuzer.com> wrote: > > > >> Dear all - > >> > >> This left me puzzled today; have I missed some developments ? > >> (all in Console on Windows10) > >> > >> - v8.07 - > >> > >> (0:`1: @. (2&|)) i.1 > >> |rank error > >> | (0:`1:@.(2&|))i.1 > >> > >> - v9.0.1 - > >> > >> (0:`1: @. (2&|)) i.1 > >> |rank error > >> | (0:`1:@.(2&|))i.1 > >> > >> - v9.0.2 - > >> > >> (0:`1: @. (2&|)) i.4 > >> 0 1 0 1 > >> (0:`1: @. (2&|)) i.5 > >> |rank error > >> | (0:`1:@.(2&|))i.5 > >> > >> - v9.5.1 - > >> > >> (0:`1: @. (2&|)) i.4 > >> 0 1 0 1 > >> (0:`1: @. (2&|)) i.5 > >> |rank error, executing monad (0:`1:)@.(2&|) > >> |each gerund must return a result whose shape agrees with its inputs > >> | (0:`1:@.(2&|))i.5 > >> > >> What did happen between v9.0.1 andv 9.0.2 ? > >> > >> -Martin > >> > >> ---------------------------------------------------------------------- > >> For information about J forums see http://www.jsoftware.com/forums.htm > >> > > > > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
