Well, that's just exactly the point of my message. :)

On Tue, Apr 12, 2011 at 4:27 PM, Ralf Hemmecke <[email protected]> wrote:
>> Anyway, what do you think of the proposal to implement '-' in
>> NonNegativeInteger such that
>>
>>   (1-2)$NNI
>>
>> would return 0?  Does this mean then that NonNegativeInteger could be
>> considered an AbelianGroup?
>
> For which purpose do you need such a subtraction?
> Programmers are lazy, and I guess, such a definition might lead to bugs that
> are hard to detect.
> Why do you think that turns NNI into a AbelianGroup? What's the inverse of
> 2?
>
> Ralf
>
> --
> You received this message because you are subscribed to the Google Groups
> "FriCAS - computer algebra system" group.
> To post to this group, send email to [email protected].
> To unsubscribe from this group, send email to
> [email protected].
> For more options, visit this group at
> http://groups.google.com/group/fricas-devel?hl=en.
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/fricas-devel?hl=en.

Reply via email to