Abstract
A method is described for doing error-free computation when the operands are rational numbers. A rational operanda/b is mapped onto the integer ¦a·b −1¦ p and the arithmetic is performed inGF(p). A method is given for taking an integer result and finding its rational equivalent (the one which corresponds to the correct rational result).
Similar content being viewed by others
References
I. Borosh and A. S. Fraenkel,Exact solutions of linear equations with rational coefficients by congruence techniques, Math. Comp. 20 (1966), 107–112.
S. Cabay and T. P. L. Lam,Congruence techniques for the exact solution of integer systems of linear equations, ACM Trans. Math. Software 3 (1977), 386–397.
R. T. Gregory,Error-Free Computation, Robert E. Krieger Pub. Co., Huntington, NY, 1980.
G. H. Hardy and E. M. Wright,An Introduction to the Theory of Numbers, Oxford University Press, London, 4th ed. 1971.
J. A. Howell,Algorithm 406. Exact solution of linear equations using residue arithmetic [F4], Comm. ACM 14 (1971), 180–184.
J. A. Howell and R. T. Gregory,An algorithm for solving linear algebraic equations using residue arithmetic I–II, BIT 9 (1969), 200–224, 324–337.
J. A. Howell and R. T. Gregory,Solving linear equations using residue arithmetic — Algorithm II, BIT 10 (1970), 23–37.
E. V. Krishnamurthy, T. M. Rao, and K. Subramanian,Finite-segment p-adic number systems with applications to exact arithmetic, 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.
M. Newman,Solving equations exactly, Jour. Res. N.B.S. 17B (1967) 171–179.
T. M. Rao,Finite-field computational techniques for exact solution of numerical problems, Ph. D. dissertation, Indian Institute of Science, Bangalore, 1975.
T. M. Rao, K. Subramanian, and E. V. Krishnamurthy,Residue arithmetic algorithm for exact computation of g-inverses of matrices, SIAM J. Numer. Anal. 13 (1976) 155–171.
N. S. Szabó and R. I. Tanaka,Residue Arithmetic and its Applications to Computer Technology, McGraw-Hill New York, 1967.
H. Takahasi and Y. Ishibashi,A new method for exact calculation by a digital computer, Information Processing in Japan 1 (1961), 28–42.
D. M. Young and R. T. Gregory,A Survey of Numerical Mathematics vol. II, Addison-Wesley, Reading, MA 1973.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Gregory, R.T. Error-free computation with rational numbers. BIT 21, 194–202 (1981). https://doi.org/10.1007/BF01933164
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01933164