Lo que todo programador debería saber sobre aritmética de punto flotante

Merge pull request #1 from felipeacsi/master

Corregidos pequeños errores tipográficos

Changed files
+16 -16
content
+2 -2
content/basic.html
··· 17 17 18 18 No es estúpido, solo diferente. Los números decimales no pueden representar 19 19 con precisión un número como ⅓, así que lo tienes que redondear a algo como 20 - 0.33 - y no esperas que 0.33 + 0.33 + 0.33 sea igual a 1 tampoco, ¿no? 20 + 0.33 ─ y no esperas que 0.33 + 0.33 + 0.33 sea igual a 1 tampoco, ¿no? 21 21 22 22 Los ordenadores usan [números binarios](/formats/binary/) porque son más 23 23 rápidos de manejar, y porque para la mayoría de operaciones un error en la ··· 36 36 37 37 En este caso, el resultado (0.5) *sí* puede ser representado de manera exacta como un 38 38 número de punto flotante, y es posible que los errores de redondeo de los datos de partida 39 - se cancelen entre sí - aunque no se debería confiar excesivamente en esto (e.g. cuando 39 + se cancelen entre sí ─ aunque no se debería confiar excesivamente en esto (e.g. cuando 40 40 esos dos números fueron almacenados en representaciones de punto flotante de diferente 41 41 tamaño, los errores de redondeo pueden no cancelarse entre ellos). 42 42
+4 -4
content/errors/comparison.html
··· 22 22 diferencia es muy pequeña. El margen de error frente al que se compara esta diferencia 23 23 normalmente se llama *epsilon*. En su forma más simple: 24 24 25 - if(Math.abs(a-b) < 0.00001) // Mal - no hacer esto 25 + if(Math.abs(a-b) < 0.00001) // Mal ─ no hacer esto 26 26 27 27 Esto es una mala forma de hacerlo porque un epsilon fijo elegido porque «parece 28 28 pequeño» podría perfectamente ser demasiado grande cuando los números que se ··· 30 30 números muy diferentes. Y cuando los números son muy grandes, el epsilon 31 31 puede acabar siendo más pequeño que el mínimo error de redondeo, por lo que 32 32 la comparación siempre devolvería «falso». Por tanto, es necesario ver si 33 - el *error relativo* es menor epsilon: 33 + el *error relativo* es menor que epsilon: 34 34 35 35 if(Math.abs((a-b)/b) < 0.00001) // ¡Todavía no es correcto! 36 36 ··· 72 72 Hay algunos casos en los que el método de arriba todavía produce resultados inesperados 73 73 (concretamente, es mucho más estricto cuando un valor es casi cero que cuando es 74 74 exactamente cero), y algunas de esas pruebas para las que fue desarrollado probablemente 75 - especifica un comportamiento que no es apropiado para algunas aplicaciones. ¡Antes de 76 - usarlo, asegúrate de que es adecuado para tu aplicación! 75 + especifica un comportamiento que no es apropiado para algunas aplicaciones. Antes de 76 + usarlo, ¡asegúrate de que es adecuado para tu aplicación! 77 77 78 78 Comparando valores de punto flotante como enteros 79 79 -------------------------------------------------
+2 -2
content/errors/rounding.html
··· 6 6 Como los [números de punto flotante](/formats/fp/) tienen un número de dígitos limitado, 7 7 no pueden representar todos los [números reales](http://es.wikipedia.org/wiki/N%C3%BAmero_real) 8 8 de forma precisa: cuando hay más dígitos de los que permite el formato, los que sobran se 9 - omiten - el número se *redondea*. Hay tres razones por las que esto puede ser necesario: 9 + omiten ─ el número se *redondea*. Hay tres razones por las que esto puede ser necesario: 10 10 11 11 * **Denominadores grandes** 12 12 En cualquier base, cuanto mayor es el denominador de una fracción (irreducible), ··· 21 21 a partir de un cierto punto. Por ejemplo, en decimal 1/4, 3/5 y 8/20 son finitos, porque 22 22 2 y 5 son los factores primos de 10. Pero 1/3 no es finito, ni tampoco 2/3 o 1/7 o 5/6, 23 23 porque 3 y 7 no son factores primos de 10. Las fracciones con un factor primo de 5 en el 24 - denominador pueden ser finitas en base 10, pero no en [base 2](/formats/binary/) - la 24 + denominador pueden ser finitas en base 10, pero no en [base 2](/formats/binary/) ─ la 25 25 mayor fuente de confusión para los principiantes en los números de punto flotante. 26 26 * **Números no racionales** 27 27 Los números irracionales no se pueden representar como una fracción regular, y en notación
+1 -1
content/formats/exact.html
··· 7 7 son mejores para que los ordenadores trabajen con ellos, y lo bastante buenos para 8 8 los humanos, a veces simplemente no son apropiados. En ocasiones los números de 9 9 verdad tienen que sumarse bien hasta el último bit, y no hay excusas técnicas 10 - aceptables - normalmente cuando los cálculos involucran dinero. 10 + aceptables ─ normalmente cuando los cálculos involucran dinero. 11 11 12 12 Desgraciadamente, no hay un estándar dominante equivalente al IEEE 754 para esto 13 13 (la versión del 2008 añadió tipos decimales, pero es demasiado reciente para
+3 -3
content/formats/fp.html
··· 11 11 decimales: en algún momento tienes que cortar. Pero ¿cuánta precisión se necesita? 12 12 ¿Y *dónde* se necesita? ¿Cuántos dígitos enteros y cuántos fraccionarios? 13 13 14 - * Para un ingeniero construyendo una autopista, no importa si tiene 10 metros o 10.0001 metros de ancho - posiblemente ni siquiera sus mediciones eran así de precisas. 15 - * Para alguien diseñando un microchip, 0.0001 metros (la décima parte de un milímetro) es una diferencia *enorme* - pero nunca tendrá que manejar distancias mayores de 0.1 metros. 14 + * Para un ingeniero construyendo una autopista, no importa si tiene 10 metros o 10.0001 metros de ancho ─ posiblemente ni siquiera sus mediciones eran así de precisas. 15 + * Para alguien diseñando un microchip, 0.0001 metros (la décima parte de un milímetro) es una diferencia *enorme* ─ pero nunca tendrá que manejar distancias mayores de 0.1 metros. 16 16 * Un físico necesita usar la [velocidad de la luz](http://es.wikipedia.org/wiki/Velocidad_de_la_luz) (más o menos 300000000) y la [constante de gravitación universal](http://es.wikipedia.org/wiki/Constante_de_gravitaci%C3%B3n_universal) (más o menos 0.0000000000667) juntas en el mismo cálculo. 17 17 18 18 Para satisfacer al ingeniero y al diseñador de circuitos integrados, el formato ··· 20 20 embargo, solo se necesita precisión *relativa*. Para satisfacer al físico, debe 21 21 ser posible hacer cálculos que involucren números de órdenes muy dispares. 22 22 23 - Básicamente, tener un número fijo de dígitos enteros y fraccionarios no es útil - y la solución es un formato con un *punto flotante*. 23 + Básicamente, tener un número fijo de dígitos enteros y fraccionarios no es útil ─ y la solución es un formato con un *punto flotante*. 24 24 25 25 Cómo funcionan los números de punto flotante 26 26 --------------------------------------------
+1 -1
content/formats/integer.html
··· 15 15 16 16 * Supone más trabajo (y más oportunidades de introducir bugs) hacerlo bien, especialmente en lo que concierne a los [métodos de redondeo](/errors/rounding/). 17 17 * Los enteros tienen precisión completa, pero en un rango muy limitado, y cuando se desbordan, normalmente «dan la vuelta» silenciosamente: el mayor entero más 1 da cero (para enteros sin signo) o el valor negativo más grande en valor absoluto (para enteros con signo). Este es el peor comportamiento posible cuando se trabaja con dinero por razones obvias. 18 - * El punto decimal implícito es defícil de cambiar y enormemente inflexible: si almacenas los dólares como céntimos, es simplemente imposible soportar el [dinar bareiní](http://es.wikipedia.org/wiki/Dinar_barein%C3%AD)(1 dinar = 1000 fils) al mismo tiempo. Tendrías que almacenar la posición del punto decimal con los datos - el primer paso para implementar tu propio formato de [punto flotante](/formats/fp/) decimal de precisión limitada (lleno de fallos y no estándar). 18 + * El punto decimal implícito es difícil de cambiar y enormemente inflexible: si almacenas los dólares como céntimos, es simplemente imposible soportar el [dinar bareiní](http://es.wikipedia.org/wiki/Dinar_barein%C3%AD)(1 dinar = 1000 fils) al mismo tiempo. Tendrías que almacenar la posición del punto decimal con los datos ─ el primer paso para implementar tu propio formato de [punto flotante](/formats/fp/) decimal de precisión limitada (lleno de fallos y no estándar). 19 19 20 20 Resumen: **no se recomienda usar enteros**. Haz esto solamente si no hay otra [alternativa mejor](/formats/exact/).
+1 -1
content/index.html
··· 26 26 * Decirte cómo lidiar con este problema 27 27 * Si te interesa, dar explicaciones detalladas de por qué los números de punto flotante tienen que funcionar así y qué otros problemas pueden surgir 28 28 29 - Deberías ir a la sección de [Respuestas básicas](/basic/) primero - ¡pero no termines ahí! 29 + Deberías ir a la sección de [Respuestas básicas](/basic/) primero ─ ¡pero no termines ahí! 30 30 31 31 ### Sobre la notación y la nomenclatura 32 32
+2 -2
content/languages/python.html
··· 14 14 Tipos decimales 15 15 --------------- 16 16 17 - Python tiene un tipo de [precision arbitraria](/formats/exact/) decimal llamado 17 + Python tiene un tipo de [precisión arbitraria](/formats/exact/) decimal llamado 18 18 `Decimal` en el módulo `decimal`, que también permite elegir el [método de 19 19 redondeo](/errors/rounding/). 20 20 ··· 40 40 print("{:.2f}".format(1.2399)) 41 41 42 42 [Métodos de redondeo](/errors/rounding/) específicos y otros parámetros se pueden 43 - definir enun objeto `Context`: 43 + definir en un objeto `Context`: 44 44 45 45 getcontext().prec = 7 46 46