División entera en comparación con el cociente de piso: ¿por qué este sorprendente resultado?

Question

La

// operador de "división entera" de Python me sorprendió, hoy en día:

>>> math.floor(11/1.1) 
10.0 
>>> 11//1.1 
9.0 

El documentation lee "(solado) cociente de X e Y". Entonces, ¿por qué math.floor (11/1.1) es igual a 10, pero 11 // 1.1 es igual a 9?

Answer 1

Porque 1.1 no se puede representar en forma binaria exactamente; la aproximación es un poco más alta que 1.1, por lo tanto, el resultado de la división es un poco demasiado pequeño.

intente lo siguiente:

Bajo Python 2, el tipo en la consola:

>>> 1.1 
1.1000000000000001 

En Python 3.1, la consola mostrará 1.1, pero internamente, sigue siendo el mismo número.

Pero:

>>> 11/1.1 
10.0 

Como gnibbler señala, esto es el resultado de "redondeo interno" dentro de los límites de precisión disponibles de flotadores. Y como The MYYN señala en su comentario, // usa un algoritmo diferente para calcular el resultado de división de piso que math.floor() para preservar a == (a//b)*b + a%b de la mejor manera posible.

Utilice el tipo Decimal si necesita esta precisión.