PEP 3107 and stronger typing (note: probably a newbie question)
kay.schluehr at gmx.net
Sat Jul 21 19:51:54 CEST 2007
On Jul 20, 6:28 pm, Paul Rubin <http://phr...@NOSPAM.invalid> wrote:
> As the Intel FDIV bug
> incident reminds us, even billions of test inputs are not enough to
> show that the routine does the right thing for EVERY input.
When I remember correctly the FDIV bug was due to a wrongly filled
lookup table and occurred only for certain bitpattern in the divisor.
I'm not sure how a formal proof on the structure of the algorithm
could help here? Intel repaired the table i.e. the data not the
algorithm that acted upon it.
More information about the Python-list