There are situations where #+ and #sum make sense but there is no additive
identity.  Here is an example:
#((1 2 3) (4 5 6) (7 8 9)) sum

On Tue, 24 Mar 2020 at 02:46, James Foster <smallt...@jgfoster.net> wrote:
>
>
> > On Mar 23, 2020, at 6:06 AM, Sven Van Caekenberghe <s...@stfx.eu> wrote:
> >
> > What you found out now is that the clever trick used to avoid picking an 
> > additive identity (picking an element, counting it twice and then 
> > subtracting it) leads to a loss of precision when floating point numbers 
> > are involved. This is an important issue.
>
> If this approach is to be preserved, then each class should have an additive 
> identity so instead of adding and subtracting an object, we let the object 
> tell us its zero.
>
> James

Reply via email to