| Revision as of 15:47, 13 May 2016 editLoVVgE (talk | contribs)57 editsNo edit summary← Previous edit | Revision as of 15:48, 13 May 2016 edit undoLoVVgE (talk | contribs)57 editsNo edit summaryNext edit → | ||
| Line 1: | Line 1: | ||
| The unum is a floating point format proposed by ], proposed as an alternative to the now |
The unum is a floating point format proposed by ], proposed as an alternative to the now ubiquitous ]. The proposal and justification are explained in his somewhat ambitiously-titled book The end of error. | ||
| The two defining features of the unum format are: | The two defining features of the unum format are: | ||
Revision as of 15:48, 13 May 2016
The unum is a floating point format proposed by John Gustafson, proposed as an alternative to the now ubiquitous IEEE 754 formats. The proposal and justification are explained in his somewhat ambitiously-titled book The end of error.
The two defining features of the unum format are:
- a variable-width storage format for both the significand and exponent, and
- an “u-bit”, which determines whether the unum corresponds to an exact number (u=0), or an interval between consecutive exact unums (u=1). In this way, the unums cover the entire extended real number line .
For performing computation with the format, Gustafson proposes using interval arithmetic with a pair of unums, what he calls an ubound, providing the guarantee that the resulting interval contains the exact solution.
Unum implementations have been explored in Julia.
A "Great Debate" between William Kahan and John Gustafson is planned for the Arith23 conference on July 12.