Very nicely explained.

On 12/16/2011 10:18 AM, Marshall Lochbaum wrote:
> A right/left inverse under the operation of composition. So if
> (+/ @: ri) -: ]
> Then ri is a right inverse to +/ , while if
> (li @: (+/)) -: ]
> li is a left inverse of +/ .
> You can see that a right inverse is trivial (try ,: ) but a left inverse
> doesn't exist, because +/ discards information.
>
> Marshall
>
> On Fri, Dec 16, 2011 at 8:20 AM, Don Guinn<dongu...@gmail.com>  wrote:
>
>> I don't understand what you mean by a right and left inverse to +/ .
>>
>> On Thu, Dec 15, 2011 at 7:52 AM, Marshall Lochbaum<mwlochb...@gmail.com
>>> wrote:
>>
>>> Yes, except there are an infinite number of choices. In that sense, it's
>>> more like trying to find +/^:_1 . It's easy to find a right inverse of
>> +/ ,
>>> but there's no good choice of a left inverse because you'll be wrong in
>>> most cases. The situation is a little better for #: , but the question of
>>> finding an inverse is still fundamentally unsolvable.
>>> We don't really use #: to provide an inverse to #. ; it's more the other
>>> way around. We use #: because it allows us to express a number in a
>>> different way which is useful for some applications.
>>>
>>> Marshall
>>>
>>> On Thu, Dec 15, 2011 at 8:19 AM, Don Guinn<dongu...@gmail.com>  wrote:
>>>
>>>> Isn't the choice of the representation for #: result a lot like picking
>>> the
>>>> principle root?
>>>>
>>>>    %:*:_2
>>>> 2
>>>>    *:%:_2
>>>> _2
>>>>
>>>> The solution to the first expression above should really be _2 2 but,
>>>> though more correct, is impractical in actual problem solving. A
>> similar
>>>> thing occurs with circular functions.
>>>>
>>>>    1 o.0.5+0,o.2
>>>> 0.479426 0.479426
>>>>
>>>> And that is why many proofs restrict functions to be single valued.
>>>>
>>>> On Wed, Dec 14, 2011 at 9:18 PM, Marshall Lochbaum<
>> mwlochb...@gmail.com
>>>>> wrote:
>>>>
>>>>> antibase2 has an inverse only for nonnegative numbers, given by #.
>>>>> twoscomplement's inverse is [:#. (* _1^0=i.@#)"1
>>>>> signwithbits has inverse #.
>>>>>
>>>>> Marshall
>>>>>
>>>>> On Wed, Dec 14, 2011 at 11:10 PM, Kip Murray<k...@math.uh.edu>  wrote:
>>>>>
>>>>>> Thank you, Raul.  May we have inverses?
>>>>>>
>>>>>> On 12/14/2011 9:13 AM, Raul Miller wrote:
>>>>>>> The subject line of this thread is arguably wrong -- there are a
>>>>>>> variety of "good ways" of decomposing integers to binary.
>>>>>>>
>>>>>>> That said, it's interesting to think about the various proposals
>>>>>>> expressed in terms similar to those which could be used to
>>> implement
>>>>>>> monadic #:
>>>>>>>
>>>>>>> antibase2=:      #:~    2 #~ 1 + 2<.@^. 1>.>./@,@:|@:<.
>>>>>>> twoscomplement=: #:~    2 #~ 1 + 2<.@^. 1 +>./@,@:|@:<.
>>>>>>> signwithbits=:   #:~ 0, 2 #~ 1 + 2<.@^. 1>.>./@,@:|@:<.
>>>>>>>
>>>>>>> (In all cases the #: here is dyadic, so these definitions are
>>>>>>> independent of the definition of monadic #:)
>>>>>>>
>>>>>>>      antibase2 i: 3
>>>>>>> 0 1
>>>>>>> 1 0
>>>>>>> 1 1
>>>>>>> 0 0
>>>>>>> 0 1
>>>>>>> 1 0
>>>>>>> 1 1
>>>>>>>      twoscomplement i: 3
>>>>>>> 1 0 1
>>>>>>> 1 1 0
>>>>>>> 1 1 1
>>>>>>> 0 0 0
>>>>>>> 0 0 1
>>>>>>> 0 1 0
>>>>>>> 0 1 1
>>>>>>>      signwithbits i: 3
>>>>>>> _1 0 1
>>>>>>> _1 1 0
>>>>>>> _1 1 1
>>>>>>>    0 0 0
>>>>>>>    0 0 1
>>>>>>>    0 1 0
>>>>>>>    0 1 1
>>>>>>>
>>>>>>> There's also (* * #:) but that one assumes the antibase2
>>>>>> implementation...
>>>>>>>
>>>>>>
>>> ----------------------------------------------------------------------
>>>>>> For information about J forums see
>>> http://www.jsoftware.com/forums.htm
>>>>>>
>>>>>
>> ----------------------------------------------------------------------
>>>>> For information about J forums see
>> http://www.jsoftware.com/forums.htm
>>>>>
>>>> ----------------------------------------------------------------------
>>>> For information about J forums see http://www.jsoftware.com/forums.htm
>>>>
>>> ----------------------------------------------------------------------
>>> For information about J forums see http://www.jsoftware.com/forums.htm
>>>
>> ----------------------------------------------------------------------
>> For information about J forums see http://www.jsoftware.com/forums.htm
>>
> ----------------------------------------------------------------------
> For information about J forums see http://www.jsoftware.com/forums.htm
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to