Bug found in Knuth's Algorithm D for division

For those who care about algorithmic detail:

5 Likes

Always reassuring to see an error give rise to a non-zero chequesum.

Interesting! But not troublesome, for most of us:

Can it be exploited

Not really, unless you are using Setun. Since the error requires an odd base, it cannot occur on modern machines, which use b=2^64, or in any case a very even b.