Boyko, The expression I cited applies to "... k e. 0,#y .", of which 1 is a possible value of #y. Isn't that good enough?
On Mon, Apr 11, 2011 at 4:15 PM, Boyko Bantchev <[email protected]> wrote: > On 11 April 2011 16:44, Brian Schott <[email protected]> wrote: >> While I am sympathetic to your observation/suggestion, >> I wonder if you might agree that the following detail >> in the DOJ on / actually covers the case for 1=#y. >> >> k=. 1 >> y=.2 >> u=.- >> (u/k{.y) u (u/k}.y) >> 2 > > Brian, > The problem is that the DoJ does not explicitly define u/y > for 1=#y. Not suggest, not give an example, but precisely define. > The example that you are giving cannot serve as a definition. > It is based on the severely flawed identity from the DoJ. > Why it is flawed I've already discussed elsewhere (see the other > thread, on /\ -- a reply to Victor). > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm -- (B=) ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
