On Sat, 1 Jul 2006, Mark D. Niemiec wrote:
I know there are some functions that have both identities, and in which the two are different, but I can't think of any at the moment.
In fact, there aren't any in the mathematical sense because if x is a left identity of u and y is a right identity then x u y is equal to both x and y so they must be equal. This sort of makes my statement irrelevant. However, J verbs shouldn't of course be treated functions in the mathematical sense, so such an anomaly can happen. It probably won't happen in practice though that you want to use both inverses of such a function and expect J to find them. Let me show an example. u =: (^ + ])"0 This verb has 0 as its left identity (at least if the right argument is positive) and 1 as its right identity. ambrus ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
