Symmetric level-index arithmetic


The level-index representation of numbers, and its algorithms for arithmetic operations, were introduced by Charles Clenshaw and Frank Olver in 1984.
The symmetric form of the LI system and its arithmetic operations were presented by Clenshaw and Peter Turner in 1987.
Michael Anuta, Daniel Lozier, Nicolas Schabanel and Turner developed the algorithm for symmetric level-index arithmetic, and a parallel implementation of it. There has been extensive work on developing the SLI arithmetic algorithms and extending them to complex and vector arithmetic operations.

Definition

The idea of the level-index system is to represent a non-negative real number as
where and the process of exponentiation is performed times, with. and are the level and index of respectively. is the LI image of. For example,
so its LI image is
The symmetric form is used to allow negative exponents, if the magnitude of is less than 1. One takes or and stores it as the reciprocal sign. Mathematically, this is equivalent to taking the reciprocal of a small magnitude number, and then finding the SLI image for the reciprocal. Using one bit for the reciprocal sign enables the representation of extremely small numbers.
A sign bit may also be used to allow negative numbers. One takes sgn and stores it as the sign. Mathematically, this is equivalent to taking the inverse of a negative number, and then finding the SLI image for the inverse. Using one bit for the sign enables the representation of negative numbers.
The mapping function is called the generalized logarithm function. It is defined as
and it maps onto itself monotonically and so it is invertible on this interval. The inverse, the generalized exponential function, is defined by
The density of values represented by has no discontinuities as we go from level to since:
The generalized logarithm function is closely related to the iterated logarithm used in computer science analysis of algorithms.
Formally, we can define the SLI representation for an arbitrary real as
where is the sign of and is the reciprocal sign as in the following equations:
whereas for = 0 or 1, we have:
For example,
and its SLI representation is