Not for any y. For y in a significant subdomain of f.
On Thu, May 13, 2021 at 11:10 AM Elijah Stone <[email protected]> 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 > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
