Henry Rich wrote: > The interpreter thinks > > 11&o. b. _1 > _11&o. > > but it ain't so. Circle functions 9-12 have no inverse that > I can see. Circle functions _9-_12 do, but they're not > the functions 9-12&o. that the interpreter uses. >
Let f be the restriction of 11&o. to the reals. Then y-:_11&o. f y . Similar restrictions to principal domains are presumably made in the others. Best wishes, John ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
