Original vocab says: "The shape of x$y is x,siy where siy is the shape of an item of y."
NuVoc says (for x $ y): "If y is an atom or a list, the shape of the result is x", and "the shape of [the result of x$y] is always x,}.$y". Let y =: 1 2 3 for all that follows. (1) x =: 1 0 1 $ 0 x$y has no atoms, shape 1 0 0 (2) x =: 1 0 0 $ 0 x$y has no atoms, shape 1 0 (3) x =: 1 0 $ 0 x$y has a single atom: 1, and shape 1 (4) x =: 1 $ 0 x$y has no atoms, shape 0 Examples (1)-(3) appear to violate the definitions. Only example (4) agrees. Can anyone shed some light on this? (3) strikes me as particularly strange. I'm sure I must have missed something. My head is spinning! ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
