I've just remembered why: there are only two ends to a string, and the shape of the result always tags on the end! So it had to be one a prefix of the other, unless of course the result had been chosen to go on the front. A reason for me missing this is that my result is of zero rank, so what I wanted seemed so reasonable. I suppose the shape of a result could go in the middle, then no rule would be required and we'd get a shape ($x_frame),($r),($y_frame). The fact is that x and y often share structure, so the present arrangement seems pretty good to me now!
Regards Graham -----Original Message----- From: Graham Parkhouse [mailto:[email protected]] Sent: 23 February 2010 18:04 To: '[email protected]' Subject: Agreement I have a problem which is basically x v y x contains one sort of data and y a completely different sort. For simplicity let's say v has rank 0 and returns a rank 0 result. I would like the result to have shape ($x),$y irrespective of the values of $x and $y, but I cannot (easily) unless one is a prefix of the other. Why was this rule introduced? In my particular problem part of $y is pervasive through the process and I'm introducing additional structure through x. Regards Graham ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
