Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Symmetric level-index arithmetic

From Wikipedia, the free encyclopedia
(Redirected fromLevel-index arithmetic)
Type of computer arithmetic

Thelevel-index (LI) representation of numbers, and itsalgorithms forarithmetic operations, were introduced byCharles Clenshaw andFrank Olver in 1984.[1]

The symmetric form of the LI system and its arithmetic operations were presented by Clenshaw and Peter Turner in 1987.[2]

Michael Anuta, Daniel Lozier, Nicolas Schabanel and Turner developed the algorithm forsymmetric level-index (SLI) arithmetic, and a parallel implementation of it. There has been extensive work on developing the SLI arithmetic algorithms and extending them tocomplex andvector arithmetic operations.

Definition

[edit]

The idea of the level-index system is to represent a non-negativereal numberX as

X=eeeef,{\displaystyle X=e^{e^{e^{\cdots ^{e^{f}}}}},}

where0f<1{\displaystyle 0\leq f<1}, and the process of exponentiation is performed times, with0{\displaystyle \ell \geq 0}. andf are thelevel andindex ofX respectively.x = +f is the LI image ofX. For example,

X=1234567=eee0.9711308,{\displaystyle X=1234567=e^{e^{e^{0.9711308}}},}

so its LI image is

x=+f=3+0.9711308=3.9711308.{\displaystyle x=\ell +f=3+0.9711308=3.9711308.}

The symmetric form is used to allow negative exponents, if the magnitude ofX is less than 1. One takessgn(log(X)) orsgn(|X| − |X|−1) and stores it (after substituting +1 for 0 for the reciprocal sign; since forX = 1 = e0 the LI image isx = 1.0 and uniquely definesX = 1, we can do away without a third state and use only one bit for the two states −1 and +1[clarification needed]) as the reciprocal signrX. Mathematically, this is equivalent to taking thereciprocal (multiplicative inverse) 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.

Asign bit may also be used to allow negative numbers. One takessgn(X) and stores it (after substituting +1 for 0 for the sign; since forX = 0 the LI image isx = 0.0 and uniquely definesX = 0, we can do away without a third state and use only one bit for the two states −1 and +1[clarification needed]) as the signsX. Mathematically, this is equivalent to taking the inverse (additive 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 thegeneralized logarithm function. It is defined as

ψ(X)={Xif 0X<1,1+ψ(lnX)if X1,{\displaystyle \psi (X)={\begin{cases}X&{\text{if }}0\leq X<1,\\1+\psi (\ln X)&{\text{if }}X\geq 1,\end{cases}}}

and it maps[0,){\displaystyle [0,\infty )} onto itself monotonically, thus being invertible on this interval. The inverse, thegeneralized exponential function, is defined by

φ(x)={xif 0x<1,eφ(x1)if x1.{\displaystyle \varphi (x)={\begin{cases}x&{\text{if }}0\leq x<1,\\e^{\varphi (x-1)}&{\text{if }}x\geq 1.\end{cases}}}

The density of valuesX represented byx has no discontinuities as we go from level to + 1 (a very desirable property) since

dφ(x)dx|x=1=dφ(ex)dx|x=0.{\displaystyle \left.{\frac {d\varphi (x)}{dx}}\right|_{x=1}=\left.{\frac {d\varphi (e^{x})}{dx}}\right|_{x=0}.}

The generalized logarithm function is closely related to theiterated logarithm used in computer science analysis of algorithms.

Formally, we can define the SLI representation for an arbitrary realX (not 0 or 1) as

X=sXφ(x)rX,{\displaystyle X=s_{X}\varphi (x)^{r_{X}},}

wheresX is the sign (additive inversion or not) ofX, andrX is the reciprocal sign (multiplicative inversion or not) as in the following equations:

sX=sgn(X),rX=sgn(|X||X|1),x=ψ(max(|X|,|X|1))=ψ(|X|rX),{\displaystyle s_{X}=\operatorname {sgn}(X),\quad r_{X}=\operatorname {sgn} {\big (}|X|-|X|^{-1}{\big )},\quad x=\psi {\big (}\max {\big (}|X|,|X|^{-1}{\big )}{\big )}=\psi {\big (}|X|^{r_{X}}{\big )},}

whereas forX = 0 or 1, we have

s0=+1,r0=+1,x=0.0,{\displaystyle s_{0}=+1,\quad r_{0}=+1,\quad x=0.0,}
s1=+1,r1=+1,x=1.0.{\displaystyle s_{1}=+1,\quad r_{1}=+1,\quad x=1.0.}

For example,

X=11234567=eee0.9711308,{\displaystyle X=-{\dfrac {1}{1234567}}=-e^{-e^{e^{0.9711308}}},}

and its SLI representation is

x=φ(3.9711308)1.{\displaystyle x=-\varphi (3.9711308)^{-1}.}

See also

[edit]

References

[edit]
  1. ^Clenshaw, Charles William;Olver, Frank William John (1984)."Beyond floating point".Journal of the ACM.31 (2):319–328.doi:10.1145/62.322429.
  2. ^Clenshaw, Charles William; Turner, Peter R. (1988-10-01) [1986-09-16, 1987-06-04]."The Symmetric Level-Index System".IMA Journal of Numerical Analysis.8 (4).Oxford University Press, Institute of Mathematics and Its Applications:517–526.doi:10.1093/imanum/8.4.517.ISSN 0272-4979.OCLC 42026743. Retrieved2018-07-10.

Further reading

[edit]

External links

[edit]
Retrieved from "https://en.wikipedia.org/w/index.php?title=Symmetric_level-index_arithmetic&oldid=1263877863"
Category:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp