[Jprogramming] Identity for = and ~:

[Roger Hui]

Not for any y.  For y in a significant subdomain of f.


On Thu, May 13, 2021 at 11:10 AM Elijah Stone <elronnd at elronnd.net> wrote:

> The identity elements for = and ~: are 1 and 0 respectively, as
> illustrated by:
>
>     =/''
> 1
>     ~:/''
> 0
>
>
> I expect the identity element for some function f to be the value x such
> that, for any y, y -: y f x.  But this is clearly not the case here.
>
> Why not?
> ----------------------------------------------------------------------
> For information about J forums see http://www.jsoftware.com/forums.htm
>