Un error de décadas en la división larga de Knuth (TAOCP Vol II, Algoritmo 4.3.1D)

A decades-old bug in Knuth's long division (TAOCP Vol II, Algorithm 4.3.1D)

Al implementar el Algoritmo D de Knuth para división larga, el autor encontró un error que ha pasado desapercibido durante décadas. La demostración del Teorema B le resultaba artificial, lo que lo llevó a intentar probarlo por su cuenta y fracasar, obteniendo un contraejemplo que invalida el algoritmo. Este hallazgo le valió un teorema propio en las erratas de TAOCP. El artículo explica el algoritmo desde cero, analiza cómo el error pudo permanecer oculto tanto tiempo, y también señala un posible bug en la implementación de LLVM. Además, ofrece una visión de métodos modernos para implementar división larga.