OK, the inverses of 9-12&o. are reasonable, as good as any. But the inverses of _9-_12&o. should be, respectively,
_9&o. _10&o. _11&o.@:- (or 0j_1&*) 0j_1&[EMAIL PROTECTED] Henry Rich > -----Original Message----- > From: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] On Behalf Of John Randall > Sent: Thursday, June 29, 2006 10:08 PM > To: Beta forum > Subject: Re: [Jbeta] _11&o. is not the inverse of 11&o. > > 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 ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
