Yeah, maybe.  The amend applies to 'those parts of y selected by m&{' 
which is nothing in each case; but 'an error is signalled if such 
selection requires fill' which you could argue has happened when the
'selected parts' have shape 0 3 3.  The problem with that argument is 
that if fill was used on (0#a:) it was also used on (0#0).

My guess is that the amend has a hidden requirement that the selected 
parts must have rank not exceeding that of y, which is a Good Thing 
normally.  But I don't find that in the Dictionary.

Henry Rich

Raul Miller wrote:
> On Sat, Jul 10, 2010 at 8:37 PM, Henry Rich <[email protected]> wrote:
>>     $ (0#a:) {  3 3$'b'
>> 0 3 3
>>     $ (0#0) {  3 3$'b'
>> 0 3
>>
>> That might account for the difference.  I am not sure that the letter of
>> the Dic indicates that the amend should fail in the first case but not
>> the second.
> 
> I would think that scalar extension should support both cases?
> 
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to