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
