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 name) ----- Original Message ----- From: Henry Rich <henryhr...@gmail.com> To: sou...@jsoftware.com 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 inverse. 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 Henry On 9/18/2016 12:29 PM, Raul Miller wrote: > Why would g matter, in this context? > > Thanks, > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
