Tim Peters <t...@python.org> added the comment:

About speed, the fsum() version I posted ran about twice as fast as the 
all-Decimal approach, but the add_on() version runs a little slower than 
all-Decimal. I assume that's because fsum() is coded in C while the add_on() 
prototype makes mounds of additional Python-level function calls. Using 
released Windows 3.8.5 CPython and on argument vectors of length 50.

Is it worth it? Up to you ;-) There are good arguments to be made in favor of 
increased accuracy, and in favor of speed.

About "correctly rounded", such a claim can only be justified by proof, not by 
testing (unless testing exhaustively covers the entire space of inputs). Short 
of that, best you can claim is stuff like "max error < 0.51 ulp" (or whatever 
other bound can be proved).

----------

_______________________________________
Python tracker <rep...@bugs.python.org>
<https://bugs.python.org/issue41513>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to