If I have properly understood this definition of R, here is a working model;
R=:1 :0
u~/@|.@([EMAIL PROTECTED]@]`0:`]}~) y
:
x u~/@|.@((u {.)`0:`]}) y
)
Or, since I have to include explicit x and y to achieve proper monad/dyad
behavior, this might be more comfortable for some people:
R2=:1 :0
u~/ |. ( u{. y) 0} y
:
u~/ |. (x u{. y) 0} y
)
Note that these models only support uses where the domain of x
does not conflict with the domain of y.
--
Raul
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
