Boyko, 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
--
(B=)
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
