La mantisa [ 1 ] (también coeficiente , [ 1 ] a veces argumento , [ 2 ] o de forma más ambigua mantisa , [ 3 ] fracción , [ 4 ] [ 5 ] [ nb 1 ] o característica [ 6 ] [ 3 ] ) es la primera parte (izquierda) de un número en notación científica o conceptos relacionados en representación de punto flotante , que consta de sus dígitos significativos . Para los números negativos, no incluye el signo menos inicial.
Dependiendo de la interpretación del exponente , la mantisa puede representar un número entero o fraccionario , lo que puede hacer que el término "mantisa" sea engañoso, ya que la mantisa de un logaritmo es siempre su parte fraccionaria. [ 7 ] [ 8 ] Aunque los otros nombres mencionados son comunes, mantisa es la palabra utilizada por IEEE 754 , un importante estándar técnico para la aritmética de punto flotante. [ 9 ] En matemáticas , el término "argumento" también puede ser ambiguo, ya que "el argumento de un número" a veces se refiere a la longitud de un arco circular desde 1 hasta un número en el círculo unitario en el plano complejo . [ 10 ]
Ejemplo
El número 123,45 se puede representar como un número decimal de punto flotante con el entero 12345 como mantisa y un término de potencia 10 −2 , también llamado característica , [ 11 ] [ 12 ] [ 13 ] donde −2 es el exponente (y 10 es la base). Su valor viene dado por la siguiente aritmética:
- 123,45 = 12345 × 10 −2 .
Este mismo valor también se puede representar en notación científica con la mantisa 1,2345 como coeficiente fraccionario y +2 como exponente (y 10 como base):
- 123,45 = 1 . 2345 × 10 +2 .
Sin embargo, el científico informático Hermann Schmid denominó a esta representación con una mantisa que oscila entre 1,0 y 10 una forma normalizada modificada . [ 12 ] [ 13 ]
Para la base 2, esta forma 1.xxxx también se denomina mantisa normalizada .
Finalmente, el valor puede representarse en el formato dado por el estándar de aritmética independiente del lenguaje y varios estándares de lenguajes de programación, incluidos Ada , C , Fortran y Modula-2 , como
- 123,45 = 0,12345 × 10 + 3 .
Schmid denominó a esta representación con una mantisa que varía entre 0,1 y 1,0 la verdadera forma normalizada . [ 12 ] [ 13 ]
La parte oculta en coma flotante
En un número normalizado , el dígito más significativo siempre es distinto de cero. Al trabajar en binario , esta restricción determina de forma unívoca que este dígito siempre sea 1. Por lo tanto, no se almacena explícitamente, sino que se denomina bit oculto .
La mantisa se caracteriza por su ancho en dígitos (binarios) y, según el contexto, el bit oculto puede o no contarse para el ancho. Por ejemplo, el mismo formato de doble precisión IEEE 754 se describe comúnmente como que tiene una mantisa de 53 bits, incluyendo el bit oculto, o una mantisa de 52 bits, excluyendo el bit oculto. IEEE 754 define la precisión p como el número de dígitos en la mantisa, incluyendo cualquier bit inicial implícito (por ejemplo, p = 53 para el formato de doble precisión), de una manera independiente de la codificación, y el término para expresar lo que está codificado (es decir, la mantisa sin su bit inicial) es campo de mantisa final .
mantisa de punto flotante
En 1914, Leonardo Torres Quevedo introdujo la idea de la aritmética de punto flotante en sus Ensayos sobre autómatas , [ 14 ] donde propuso el formato n ; m , mostrando la necesidad de una mantisa de tamaño fijo como la que se usa actualmente para los datos de punto flotante. [ 15 ]
En 1946, Arthur Burks empleó los términos mantisa y característica para describir las dos partes de un número de coma flotante ( Burks [ 11 ] et al. ) por analogía con las tablas de logaritmos comunes de la época : la característica es la parte entera del logaritmo (es decir, el exponente) y la mantisa es la parte fraccionaria. Su uso sigue siendo común entre los informáticos actuales.
El término mantisa fue introducido por George Forsythe y Cleve Moler en 1967 [ 16 ] [ 17 ] [ 18 ] [ 5 ] y es la palabra utilizada en el estándar IEEE [ 19 ] como el coeficiente delante de un número de notación científica discutido anteriormente. La parte fraccionaria se llama fracción .
Para entender ambos términos, observe que en binario, 1 + mantisa ≈ mantisa, y la correspondencia es exacta al almacenar una potencia de dos. Este hecho permite una aproximación rápida del logaritmo en base 2, lo que da lugar a algoritmos, por ejemplo, para calcular la raíz cuadrada rápida y la raíz cuadrada inversa rápida . El 1 inicial implícito no es más que el bit oculto en el sistema de punto flotante IEEE 754, y el campo de bits que almacena el resto es, por lo tanto, la mantisa .
Sin embargo, la inclusión o no del 1 implícito es un punto importante de confusión con ambos términos, y especialmente con mantisa . De acuerdo con el uso original en el contexto de las tablas de registro, no debería estar presente.
En aquellos contextos donde se considera incluido el 1, William Kahan , [ 1 ] creador principal de IEEE 754, y Donald E. Knuth , destacado programador informático y autor de The Art of Computer Programming , [ 6 ] condenan el uso de mantisa . Esto ha llevado a una disminución en el uso del término mantisa en todos los contextos. En particular, el estándar IEEE 754 actual no lo menciona.
Véase también
Notas
- ↑ El término fracción se utiliza en IEEE 754-1985 con un significado diferente: es la parte fraccionaria de la mantisa, es decir, la mantisa sin su bit principal explícito o implícito.
Referencias
- 1 2 3 Kahan, William Morton (19 de abril de 2002). "Nombres para formatos de punto flotante estandarizados" (PDF) . Archivado (PDF) del original el 27 de diciembre de 2023. Recuperado el 27 de diciembre de 2023.
[…] m es la mantisa o coeficiente o (erróneamente) mantisa […]
(8 páginas) - ↑ Clements, Alan (09/02/2006). Principios del hardware informático . OUP Oxford. ISBN 978-0-19-927313-3.
- 1 2 Gosling, John B. (1980). "6.1 Notación de punto flotante / 6.8.5 Representación de exponentes". En Sumner, Frank H. (ed.). Diseño de unidades aritméticas para computadoras digitales . Serie de Ciencias de la Computación de Macmillan (1.ª ed.). Departamento de Ciencias de la Computación, Universidad de Manchester , Manchester, Reino Unido: The Macmillan Press Ltd. pp. 74, 91, 137–138 . ISBN 0-333-26397-9
[…] En
la representación de punto flotante
, un número
x
se representa mediante dos números con signo
m
y
e,
de modo que
x
=
m
·
b
e,
donde
m
es la
mantisa
,
e
elexponente
y
b
la
base . […] La mantisa a veces se denomina característica, y algunos autores también utilizan este nombre
para
una versión del exponente. Se espera que los términos aquí utilizados sean inequívocos. […] Utilizamos un valor [de exponente] desplazado la mitad del rango binario del número. […] Esta forma especial a veces se denomina
exponente sesgado
, ya que es el valor convencional más una constante. Algunos autores lo han llamado característica, pero este término no debería usarse, ya que
CDC
y otros lo utilizan para la mantisa. También se le conoce como representación de «
exceso -
», donde, por ejemplo, - es 64 para un exponente de 7 bits (2⁷
−
1
=
64). […]
(Nota: Gosling no menciona en absoluto el término mantisa). - ↑ English Electric KDF9: Sistema de procesamiento de datos de muy alta velocidad para comercio, industria y ciencia (PDF) (folleto del producto). English Electric . c. 1961. Publicación n.° DP/103. 096320WP/RP0961. Archivado (PDF) del original el 27/07/2020 . Consultado el 27/07/2020 .
- 1 2 Savard, John JG (2018) [2005]. "Formatos de punto flotante" . quadibloc . Una nota sobre las designaciones de campos. Archivado del original el 3 de julio de 2018. Recuperado el 16 de julio de 2018 .
- 1 2 Knuth, Donald E. (1997). El arte de la programación informática . Vol. 2. Addison-Wesley. pág. 214. ISBN 0-201-89684-2[
…] Ocasionalmente se utilizan otros nombres para este propósito, en particular «característico» y «mantisa»; pero es un abuso de terminología llamar mantisa a la parte fraccionaria, ya que ese término tiene un significado muy diferente en relación con los logaritmos. Además, la palabra inglesa «mantissa» significa «una suma sin valor». […]
- ↑ Revistas, Hearst (febrero de 1913). Popular Mechanics . Revistas Hearst. pág. 291.
- ↑ Gupta, Dr. Alok (04/07/2020). Matemáticas empresariales por Alok Gupta: Publicaciones SBPD . Publicaciones SBPD. pág. 140. ISBN 978-93-86908-16-2.
- ↑ 754-1985 - Norma IEEE para aritmética binaria de punto flotante . IEEE. doi : 10.1109/IEEESTD.1985.82928 . ISBN 0-7381-1165-1.
- ↑ Gowers, Timothy; Barrow-Green, June; Leader, Imre (18 de julio de 2010). The Princeton Companion to Mathematics . Princeton University Press. pág. 201. ISBN 978-1-4008-3039-8.
- 1 2 Burks, Arthur Walter ; Goldstine, Herman H .; von Neumann, John (1963) [1946]. "5.3." En Taub, AH (ed.). Discusión preliminar del diseño lógico de un instrumento de computación electrónica (PDF) (Informe técnico, Instituto de Estudios Avanzados, Princeton, Nueva Jersey, EE. UU.). Obras completas de John von Neumann. Vol. 5. Nueva York, EE. UU.: The Macmillan Company . pág. 42. Recuperado el 7 de febrero de 2016.
[…] Varias de las computadoras digitales que se están construyendo o planificando en este país e Inglaterra contendrán un llamado "
punto decimal flotante
". Este es un mecanismo para expresar cada palabra como una
característica
y una
mantisa
; por ejemplo, 123.45 se llevaría en la máquina como (0.12345,03), donde el 3 es el exponente de 10 asociado con el número. […]
- 1 2 3 Schmid, Hermann (1974). Cálculo decimal (1.ª ed.). Binghamton, Nueva York, EE. UU.: John Wiley & Sons, Inc. págs. 204-205 . ISBN 0-471-76180-X. Consultado el 3 de enero de 2016 .
- 1 2 3 Schmid, Hermann (1983) [1974]. Cálculo decimal (1.ª ed. (reimpresión) ). Malabar, Florida, EE. UU.: Robert E. Krieger Publishing Company. págs. 204–205 . ISBN 0-89874-318-4. Consultado el 3 de enero de 2016 .(Nota: Al menos algunos lotes de esta edición reimpresa presentaban errores de impresión, con las páginas 115 a 146 defectuosas ) .
- ↑ Torres Quevedo, Leonardo. Automática: Complemento de la Teoría de las Máquinas, (pdf) , págs. 575–583, Revista de Obras Públicas, 19 de noviembre de 1914.
- ↑ Ronald T. Kneusel. Números y computadoras , Springer, págs. 84–85, 2017. ISBN 978-3319505084
- ↑ Forsythe, George Elmer ; Moler, Cleve Barry (septiembre de 1967). Solución informática de sistemas algebraicos lineales . Computación automática (1.ª ed.). Nueva Jersey, EE. UU.: Prentice-Hall , Englewood Cliffs . ISBN 0-13-165779-8.
- ↑ Sterbenz, Pat H. (1974-05-01). Floating-Point Computation . Prentice-Hall Series in Automatic Computation (1.ª ed.). Englewood Cliffs, Nueva Jersey, EE. UU.: Prentice Hall . ISBN 0-13-322495-3.
- ↑ Goldberg, David (marzo de 1991). «Lo que todo científico informático debería saber sobre la aritmética de punto flotante» (PDF) . Computing Surveys . 23 (1). Xerox Palo Alto Research Center (PARC), Palo Alto, California, EE. UU.: Association for Computing Machinery, Inc. : 7. Archivado (PDF) del original el 13 de julio de 2016. Recuperado el 13 de julio de 2016. [
…] Este término fue introducido por
Forsythe
y
Moler
[1967] y, en general, ha reemplazado al término anterior
mantisa
. […]
(Nota: Puede encontrar una versión editada más reciente aquí:)
- ↑ 754-2019 - Norma IEEE para aritmética de punto flotante . IEEE . 2019. doi : 10.1109/IEEESTD.2019.8766229 . ISBN 978-1-5044-5924-2.
- Punto flotante
- aritmética informática
- Terminología matemática