Boyko, I see what you are saying, now. I did not realize that -/'!' produces '!'; I assumed it also produced an error.
On Tue, Apr 12, 2011 at 4:48 AM, Boyko Bantchev <[email protected]> wrote: > On 12 April 2011 01:15, Brian Schott <[email protected]> wrote: >> Actually, then (u/k{.y) u (u/k}.y) produces the correct domain error >> when y=:'!', doesn't it? > > Yes, it is correct to produce an error. But this error invalidates the > identity u/y ↔ (u/k{.y) u (u/k}.y), because its l.h.s. produces a normal > value. And the identity does not generally hold for several other > reasons as well. > > What I mean is that it is not correct to use a generally false identity > as the above, in order to infer the value (meaning) of u/y for 1=#y > (as I believe that was what you intended -- or am I mistaken?). -- (B=) ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
