An efficient method for evaluating polynomial and rational function approximations

In this paper we extend the domain of applicability of the E-method [7, 8], as a hardware-oriented method for evaluating elementary functions using polynomial and rational function approximations. The polynomials and rational functions are computed by solving a system of linear equations using digit-serial iterations on simple and highly regular hardware. For convergence, these systems must be diagonally dominant. The E-method offers an efficient way for the fixed-point evaluation of polynomials and rational functions if their coefficients conform to the diagonal dominance condition. Until now, there was no systematic approach to obtain good approximations to f over an interval [a, b] by rational functions satisfying the constraints required by the E-method. In this paper, we present such an approach which is based on linear programming and lattice basis reduction. We also discuss a design and performance characteristics of a corresponding implementation.

[1]  Milos D. Ercegovac,et al.  A Hardware-Oriented Method for Evaluating Complex Polynomials , 2007, 2007 IEEE International Conf. on Application-specific Systems, Architectures and Processors (ASAP).

[2]  Nicolas Brisebarre,et al.  Efficient polynomial L-approximations , 2007, 18th IEEE Symposium on Computer Arithmetic (ARITH '07).

[3]  László Babai,et al.  On Lovász’ lattice reduction and the nearest lattice point problem , 1986, Comb..

[4]  Algirdas Avizienis,et al.  Signed-Digit Numbe Representations for Fast Parallel Arithmetic , 1961, IRE Trans. Electron. Comput..

[5]  Arnaud Tisserand,et al.  Computing machine-efficient polynomial approximations , 2006, TOMS.

[6]  Milos D. Ercegovac.  A General Hardware-Oriented Method for Evaluation of Functions and Computations in a Digital Computer , 1977, IEEE Transactions on Computers.

[7]  Tomás Lang,et al.  Digit-Serial Arithmetic , 2004 .

[8]  S. Moshier,et al.  Computer approximations , 1986 .

[9]  M. Bayoumi,et al.  A Fully-Pipelined Parallel Architecture for Kalman Tracking Filter , 2007, 2006 International Workshop on Computer Architecture for Machine Perception and Sensing.

[10]  Israel Koren,et al.  Evaluating Elementary Functions in a Numerical Coprocessor Based on Rational Approximations , 1990, IEEE Trans. Computers.

[11]  Milos D. Ercegovac.  A general method for evaluation of functions and computations in a digital computing , 1975, 1975 IEEE 3rd Symposium on Computer Arithmetic (ARITH).

[12]  László Lovász,et al.  Factoring polynomials with rational coefficients , 1982 .

[13]  A. Avizeinis,et al.  Signed Digit Number Representations for Fast Parallel Arithmetic , 1961 .

[14]  N. Brisebarre,et al.  Functions approximable by E-fractions , 2004, Conference Record of the Thirty-Eighth Asilomar Conference on Signals, Systems and Computers, 2004..