Abstract
A finite number system for doing exact computer arithmetic, due to Krishnamurthy, Rao, and Subramanian, is described. For each rational numbera/b, with |a| and |b| suitably bounded, the firstr digits of the (infinite)p-adic expansion ofa/b are used as a coded representation fora/b (the Hensel code). Arithmetic operations on the Hensel codes produce Hensel codes for the exact results of the arithmetic operations.
Similar content being viewed by others
References
G. Bachman,Introduction to P-adic Numbers and Valuation Theory (1964), Academic Press, New York.
Z. I. Borevich and I. R. Shafarevich,Number Theory (1966), Academic Press, New York.
G. E. Forsythe, M. A. Malcolm, and C. B. Moler,Computer Methods for Mathematical Computations (1977), Prentice-Hall, Englewood Cliffs, N.J.
G. H. Hardy and E. M. Wright,An Introduction to The Theory of Numbers (1960), Clarendon Press, Oxford.
J. A. Howell and R. T. Gregory,Solving linear equations using residue arithmetic — Algorithm II, BIT 10 (1970), 23–37.
D. E. Knuth,The Art of Computer Programming, Volume I: Fundamental Algorithms (1968), Addison-Wesley, Reading, Mass.
E. V. Krishnamurthy, T. M. Rao, and K. Subramanian,Finite segment p-adic number systems with applications to exact computation, Proc. Indian Acad. Sci. 81A (1975), 58–79.
E. V. Krishnamurthy, T. M. Rao, and K. Subramanian,P-adic arithmetic procedures for exact matrix computations, Proc. Indian Acad. Sci. 82A (1975), 165–175.
K. Mahler,Introduction to P-adic Numbers and Their Functions (1973), Cambridge Univ. Press.
T. M. Rao,Finite Field Computational Techniques for Exact Solution of Numerical Problems (1975), Ph.D. Dissertation, Department of Mathematics, Indian Institute of Science, Bangalore-560012.
R. K. Richards,Arithmetic Operations in Digital Computers (1955), D. Van Nostrand, Princeton, N.J.
N. S. Szabó and R. I. Tanaka,Residue Arithmetic and Its Application to Computer Technology (1967), McGraw-Hill, New York.
D. M. Young and R. T. Gregory,A Survey of Numerical Mathematics, Vol. I (1972), Addison-Wesley, Reading, Mass.
D. M. Young and R. T. Gregory,A Survey of Numerical Mathematics, Vol. II (1973), Addison-Wesley, Reading, Mass.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Gregory, R.T. The use of finite-segmentp-adic arithmetic for exact computation. BIT 18, 282–300 (1978). https://doi.org/10.1007/BF01930898
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01930898