Function Evaluation in Unnormalized Arithmetic

The evaluation of a function of one argument is a standard computational task. When an unnormalized number representation is used, it is appropriate that function evaluation to subject to certain “adjustment” criteria, defined independently of the computing method. In this paper some such criteria are developed, and their application described. In particular, consideration is given to questions of the extent to which general principles apply (i.e. for large classes of functions of a single argument) and the manner in which particular properties of the functions involved (e.g. the functions evaluated by standard library subroutines) may be invoked. The analysis, although framed in terms of unnormalized arithmetic, gives insight into the general nature of significance propagation through function evaluation, and provides a means for analyzing calculations carried out in the usual normalized arithmetic, particularly in the case where an “index of significance” is employed.