the only "situation" I understand can happen is

h =: (3 : 0) .: v1
NB. some condition
h =: h .: v2


which is an incredibly weak pattern.  Because it leaves h in a state that 
affects the next call.

I think in a call to g&.h, that it would be entirely sensible to execute

v1 g h y regardless of the execution of h. (and so no need to worry if its a 

----- Original Message -----
From: Henry Rich <>
Sent: Sunday, September 18, 2016 12:55 PM
Subject: Re: [Jsource] Why is dual calculated at verb-execution time?

Oops.  I meant h.

g could matter, if it has a name, but it wouldn't participate in the 

I am thinking:

1. try to get an inverse for h, returning failure if h contains a name
2. see if g contains a name
3. create the h field of the derived verb to contain either inv(gs) or 
atop(inv(gs),ampco(fs,gs)) or 0 depending on how much was name-free
4. modify jtundco1 etc accordingly


On 9/18/2016 12:29 PM, Raul Miller wrote:
> Why would g matter, in this context?
> Thanks,

For information about J forums see
For information about J forums see

Reply via email to