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.
