Die Mantisse [ 1 ] (auch Koeffizient [ 1 ] , manchmal Argument [ 2 ] oder, etwas ungenau , Mantisse [ 3 ], Bruch [ 4 ] [ 5 ] [ nb 1 ] oder Charakteristik [ 6 ] [ 3 ] ) ist der erste ( linke) Teil einer Zahl in wissenschaftlicher Notation oder verwandten Konzepten in Gleitkommadarstellung und besteht aus ihren signifikanten Ziffern . Bei negativen Zahlen wird das Minuszeichen nicht mitgezählt.

Je nach Interpretation des Exponenten kann die Mantisse eine ganze Zahl oder eine Bruchzahl darstellen , was die Bezeichnung „Mantisse“ irreführend machen kann, da die Mantisse eines Logarithmus stets dessen Bruchteil ist. [ 7 ] [ 8 ] Obwohl die anderen genannten Bezeichnungen gebräuchlich sind, wird „Mantisse “ in IEEE 754 , einem wichtigen technischen Standard für Gleitkommaarithmetik, verwendet. [ 9 ] Auch der Begriff „Argument“ kann in der Mathematik mehrdeutig sein, da „das Argument einer Zahl“ manchmal die Länge eines Kreisbogens von 1 zu einer Zahl auf dem Einheitskreis in der komplexen Ebene bezeichnet . [ 10 ]

Beispiel

Die Zahl 123,45 kann als Dezimalzahl mit Gleitkommazahlen dargestellt werden, wobei die ganze Zahl 12345 die Mantisse und ein 10⁻² - Potenzterm, auch Charakteristik genannt , ist [ 11 ] [ 12 ] [ 13 ] , wobei −2 der Exponent (und 10 die Basis) ist. Ihr Wert ergibt sich aus folgender Arithmetik:

123,45 = 12345 × 10 −2 .

Dieser Wert kann auch in wissenschaftlicher Notation dargestellt werden , wobei die Mantisse 1,2345 als Bruchkoeffizient und +2 als Exponent (und 10 als Basis) verwendet wird:

123,45 = 1 . 2345 × 10 +2 .

Der Informatiker Hermann Schmid nannte diese Darstellung mit einer Mantisse im Bereich zwischen 1,0 und 10 jedoch eine modifizierte Normalform . [ 12 ] [ 13 ]

Für die Basis 2 wird diese 1.xxxx-Form auch als normalisierte Mantisse bezeichnet .

Schließlich kann der Wert im Format dargestellt werden, das durch den Standard für sprachunabhängige Arithmetik und verschiedene Programmiersprachenstandards, darunter Ada , C , Fortran und Modula-2 , vorgegeben ist, wie folgt:

123,45 = 0 . 12345 × 10 +3 .

Schmid nannte diese Darstellung mit einer Mantisse im Bereich zwischen 0,1 und 1,0 die wahre normierte Form . [ 12 ] [ 13 ]

Das versteckte Bit in Gleitkommazahlen

Bei einer normalisierten Zahl ist die höchstwertige Ziffer immer ungleich null. Im Binärsystem ist diese Ziffer aufgrund dieser Bedingung immer 1. Daher wird sie nicht explizit gespeichert, sondern als verstecktes Bit bezeichnet .

Die Mantisse wird durch ihre Breite in (binären) Stellen charakterisiert . Je nach Kontext kann das versteckte Bit zur Breite hinzugerechnet werden oder nicht. Beispielsweise wird das IEEE-754- Doppelgenauigkeitsformat üblicherweise entweder als 53-Bit-Mantisse (einschließlich des versteckten Bits) oder als 52-Bit-Mantisse (ohne das versteckte Bit) beschrieben. IEEE 754 definiert die Genauigkeit p als die Anzahl der Stellen in der Mantisse, einschließlich eines impliziten führenden Bits (z. B. p = 53 für das Doppelgenauigkeitsformat), also unabhängig von der Kodierung. Der Begriff für das Kodierte (die Mantisse ohne ihr führendes Bit) ist „ nachgestelltes Mantissenfeld“ .

Gleitkomma-Mantisse

1914 führte Leonardo Torres Quevedo in seinen Essays on Automatics [ 14 ] die Idee der Gleitkommaarithmetik ein , in der er das Format n ; m vorschlug und die Notwendigkeit einer Mantisse fester Größe aufzeigte , wie sie heute für Gleitkommadaten verwendet wird. [ 15 ]

1946 verwendete Arthur Burks die Begriffe Mantisse und Charakteristik zur Beschreibung der beiden Bestandteile einer Gleitkommazahl ( Burks [ 11 ] et al. ) in Analogie zu den damals gebräuchlichen Logarithmentafeln : Die Charakteristik ist der ganzzahlige Anteil des Logarithmus (d. h. der Exponent), die Mantisse der Bruchteil. Diese Bezeichnung ist unter Informatikern bis heute üblich.

Der Begriff Mantisse wurde 1967 von George Forsythe und Cleve Moler eingeführt [ 16 ] [ 17 ] [ 18 ] [ 5 ] und wird im IEEE-Standard [ 19 ] als Koeffizient vor einer oben beschriebenen Zahl in wissenschaftlicher Notation verwendet. Der Bruchteil wird als Bruch bezeichnet .

Um beide Begriffe zu verstehen, beachte man, dass im Binärsystem 1 + Mantisse ≈ Mantisse gilt und diese Entsprechung bei der Speicherung einer Zweierpotenz exakt ist. Dies ermöglicht eine schnelle Approximation des Logarithmus zur Basis 2 und führt zu Algorithmen, beispielsweise zur schnellen Berechnung der Quadratwurzel und der inversen Quadratwurzel . Die implizite führende 1 ist nichts anderes als das versteckte Bit im IEEE-754-Gleitkommaformat, und das Bitfeld, das den Rest speichert, ist somit die Mantisse .

Die Frage, ob die implizite 1 enthalten ist oder nicht, sorgt bei beiden Begriffen – insbesondere bei der Mantisse – für große Verwirrung . Entsprechend der ursprünglichen Verwendung im Kontext von Logarithmen sollte sie nicht enthalten sein.

In Kontexten, in denen 1 als eingeschlossen gilt, verurteilen William Kahan [ 1 ] , Hauptentwickler von IEEE 754, und Donald E. Knuth , bekannter Programmierer und Autor von „The Art of Computer Programming“ [ 6 ] , die Verwendung der Mantisse . Dies hat zu einem rückläufigen Gebrauch des Begriffs Mantisse in allen Kontexten geführt. Insbesondere erwähnt der aktuelle IEEE-754-Standard ihn nicht mehr.

Siehe auch

Anmerkungen

  1. ^ Der Begriff „Fraction“ wird in IEEE 754-1985 mit einer anderen Bedeutung verwendet: Er bezeichnet den Bruchteil der Mantisse, also die Mantisse ohne ihr explizites oder implizites führendes Bit.

Referenzen

  1. ^ a b c Kahan, William Morton (19.04.2002). „Namen für standardisierte Gleitkommaformate“ (PDF) . Archiviert (PDF) vom Original am 27.12.2023 . Abgerufen am 27.12.2023 . […] m ist die Mantisse oder der Koeffizient oder (fälschlicherweise) die Mantisse […](8 Seiten)
  2. ^ Clements, Alan (09.02.2006). Grundlagen der Computerhardware . Oxford University Press. ISBN 978-0-19-927313-3Die
  3. ^ a b Gosling, John B. (1980). „6.1 Gleitkommadarstellung / 6.8.5 Exponentendarstellung“. In: Sumner, Frank H. (Hrsg.). Entwurf arithmetischer Einheiten für Digitalrechner . Macmillan Computer Science Series (1. Aufl.). Fachbereich Informatik, Universität Manchester , Manchester, UK: The Macmillan Press Ltd. S. 74, 91, 137–138 . ISBN 0-333-26397-9[ …] In der Gleitkommadarstellung wird eine Zahl x durch zwei vorzeichenbehaftete Zahlen m und e dargestellt , sodass x  = m · be , wobei m die Mantisse , e der Exponent und b die Basis ist . […] Die Mantisse wird manchmal auch als Charakteristik bezeichnet, und eine Variante des Exponenten trägt von einigen Autoren ebenfalls diese Bezeichnung. Es ist zu hoffen, dass die hier verwendeten Begriffe eindeutig sind. […] Wir verwenden einen Exponentenwert, der um die Hälfte des Binärbereichs der Zahl verschoben ist. […] Diese spezielle Form wird manchmal als Bias-Exponent bezeichnet , da sie dem herkömmlichen Wert plus einer Konstanten entspricht. Einige Autoren haben sie als Charakteristik bezeichnet, aber dieser Begriff sollte nicht verwendet werden, da CDC und andere diesen Begriff für die Mantisse verwenden. Sie wird auch als „ Exzess “-Darstellung bezeichnet, wobei beispielsweise - für einen 7-Bit-Exponenten 64 ist (2 <sup>7</sup>  − 1 = 64). […](Anmerkung: Gosling erwähnt den Begriff Signifikande überhaupt nicht.)
  4. ^ English Electric KDF9: Hochgeschwindigkeits-Datenverarbeitungssystem für Handel, Industrie und Wissenschaft (PDF) (Produktflyer). English Electric . ca. 1961. Publikationsnr. DP/103. 096320WP/RP0961. Archiviert (PDF) vom Original am 27.07.2020 . Abgerufen am 27.07.2020 .
  5. ^ a b Savard, John JG (2018) [2005]. „Gleitkommaformate“ . quadibloc . Eine Anmerkung zu Feldbezeichnungen. Archiviert vom Original am 3. Juli 2018. Abgerufen am 16. Juli 2018 .
  6. ^ a b Knuth, Donald E. (1997). Die Kunst der Computerprogrammierung . Band 2. Addison-Wesley. S. 214. ISBN 0-201-89684-2[ …] Gelegentlich werden für diesen Zweck auch andere Bezeichnungen verwendet, insbesondere „Charakteristik“ und „Mantisse“. Es ist jedoch terminologischer Missbrauch, den Bruchteil als Mantisse zu bezeichnen, da dieser Begriff im Zusammenhang mit Logarithmen eine ganz andere Bedeutung hat. Darüber hinaus bedeutet das englische Wort „mantissa“ so viel wie „eine wertlose Addition“. […]
  7. ^ Zeitschriften, Hearst (Februar 1913). Popular Mechanics . Hearst Magazines. S. 291.
  8. ^ Gupta, Dr. Alok (04.07.2020). Wirtschaftsmathematik von Alok Gupta: SBPD Publications . SBPD Publications. S. 140. ISBN 978-93-86908-16-2Die
  9. ^ 754-1985 – IEEE-Standard für binäre Gleitkommaarithmetik . IEEE. doi : 10.1109/IEEESTD.1985.82928 . ISBN 0-7381-1165-1Die
  10. ^ Gowers, Timothy; Barrow-Green, June; Leader, Imre (18.07.2010). The Princeton Companion to Mathematics . Princeton University Press. S. 201. ISBN 978-1-4008-3039-8Die
  11. ^ a b Burks, Arthur Walter ; Goldstine, Herman H .; von Neumann, John (1963) [1946]. „5.3.“ In: Taub, A. H. (Hrsg.). Vorläufige Diskussion des logischen Entwurfs eines elektronischen Recheninstruments (PDF) (Technischer Bericht, Institute for Advanced Study, Princeton, New Jersey, USA). Gesammelte Werke von John von Neumann. Band 5. New York, USA: The Macmillan Company . S. 42. Abgerufen am 7. Februar 2016. […] Mehrere der in diesem Land und in England gebauten oder geplanten Digitalrechner sollen ein sogenanntes „ Gleitkomma “ enthalten. Dies ist ein Mechanismus, um jedes Wort als Merkmal und Mantisse auszudrücken – z. B. würde 123,45 in der Maschine als (0,12345,03) gespeichert, wobei die 3 der Zehnerpotenz der Zahl ist. […]
  12. ^ a b c Schmid, Hermann (1974). Decimal Computation (1. Aufl.). Binghamton, New York, USA: John Wiley & Sons, Inc. S.  204–205 . ISBN 0-471-76180-XAbgerufen am 03.01.2016 .
  13. ^ a b c Schmid, Hermann (1983) [1974]. Dezimalrechnung (1. (Nachdruck) Aufl.). Malabar, Florida, USA: Robert E. Krieger Publishing Company. S.  204–205 . ISBN 0-89874-318-4Abgerufen am 03.01.2016 .(Anmerkung: Mindestens einige Chargen dieser Neuauflage enthielten Fehldrucke mit fehlerhaften Seiten 115–146.)
  14. ^ Torres Quevedo, Leonardo. Automática: Complemento de la Teoría de las Máquinas, (pdf) , S. 575–583, Revista de Obras Públicas, 19. November 1914.
  15. ^ Ronald T. Kneusel. Zahlen und Computer , Springer, S. 84–85, 2017. ISBN 978-3319505084
  16. ^ Forsythe, George Elmer ; Moler, Cleve Barry (September 1967). Computer Solution of Linear Algebraic Systems . Automatic Computation (1. Aufl.). New Jersey, USA: Prentice-Hall , Englewood Cliffs . ISBN 0-13-165779-8Die
  17. Sterbenz , Pat H. (1974-05-01). Gleitkommaarithmetik . Prentice-Hall-Reihe zur automatischen Berechnung (1. Aufl.). Englewood Cliffs, New Jersey, USA: Prentice Hall . ISBN 0-13-322495-3Die
  18. ^ Goldberg, David (März 1991). „Was jeder Informatiker über Gleitkommaarithmetik wissen sollte“ (PDF) . Computing Surveys . 23 (1). Xerox Palo Alto Research Center (PARC), Palo Alto, Kalifornien, USA: Association for Computing Machinery, Inc .: 7. Archiviert (PDF) vom Original am 13.07.2016 . Abgerufen am 13.07.2016 . […] Dieser Begriff wurde von Forsythe und Moler [1967] eingeführt und hat im Allgemeinen den älteren Begriff Mantisse ersetzt . […](Anmerkung: Eine neuere, bearbeitete Version finden Sie hier: [1] )
  19. ^ 754-2019 – IEEE-Standard für Gleitkommaarithmetik . IEEE . 2019. doi : 10.1109/IEEESTD.2019.8766229 . ISBN 978-1-5044-5924-2Die