Abstract
We describe a computing method of the computable (or constructive) real numbers based on analysis of expressions. This method take precision estimate into account in order to get a better algorithm than Ménissier-Morain’s method, which is also based on the representation of constructive reals. We solve two problems which appear in exact real arithmetic based on the representation of constructive reals. First, by balancing every item’s precision in the expression, we can avoid unnecessary precision growth. Second, by distributing different weights to different operations, we can make sure that complex operations do not waste much time when to compute the whole expression. In these ways, we finally get a more efficient and proper method than prior implementations.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Edalat, A., Heckmann, R.: Computing with real numbers (i) LFT approach to real computation (ii) Domain-theoretic model of computational geometry. In: Barthe, G., et al. (eds.) APPSEM 2000. LNCS, vol. 2395, pp. 193–267. Springer, Heidelberg (2002)
Blanck, J.: Efficient exact computation of iterated maps. The Journal of Logic and Algebraic Programming 64, 41–59 (2005)
Ménissier-Morain, V.: Arbitrary precision real arithmetic: design and algorithms. The Journal of Logic and Algebraic Programming 64, 13–19 (2005)
Gosper, W.: Continued fraction arithmetics. Technical Report HAKMEM Item 101B, Artificial Intelligence Memo 239, MIT (1972)
Vuillemin, J.: Exact real computer arithmetic with continued fractions. IEEE Transactions on Computers 39, 1087–1105 (1990)
Bishop, E., Bridges, D.: Constructive Analysis. Springer, Heidelberg (1985)
Boehm, H.-J., et al.: Exact real arithmetic: A case study in higher order programming. In: Proceedings of the 1986 Lisp and Functional Programming Conference, pp. 162–173 (1986)
Lee, V.: Optimizing Programs over the Constructive Reals. PhD thesis, Rice University (1991)
Boehm, H.-J.: The constructive reals as a Java library. The Journal of Logic and Algebraic Programming 64, 3–11 (2005)
Gowland, P., Lester, D.: The correctness of an implementation of exact arithmetic. In: Proceedings of the Fourth Conference on Real Numbers and Computers (2000)
Lester, D., Gowland, P.: Using PVS to validate the algorithms of an exact arithmetic. Theoretical Computer Science 291, 203–218 (2003)
Briggs, K.: Implementing exact real arithmetic in python, C++ and C. Theoretical Computer Science 351, 74–81 (2006)
Gowland, P., Lester, D.: A Survey of Exact Arithmetic Implementations. In: Blank, J., Brattka, V., Hertling, P. (eds.) CCA 2000. LNCS, vol. 2064, pp. 30–47. Springer, Heidelberg (2001)
Blanck, J.: Exact real arithmetic systems:Results of competition. In: Blank, J., Brattka, V., Hertling, P. (eds.) CCA 2000. LNCS, vol. 2064, p. 389. Springer, Heidelberg (2001)
Edalat, A., Potts, P.J.: A new representation for exact real numbers. In: MFPS XIII, Mathematical Foundations of Progamming Semantics, Thirteenth Annual Conference. Electronic Notes in Theoretical Computer Science, vol. 6, pp. 119–132 (1997)
Potts, P.J.: Exact real arithmetic using Möbius transformations. PhD thesis, Imperial College (1999)
Lambov, B.: RealLib:An Efficient Implementation of Exact Real Arithmetic (2006), http://www.bric.dk/~barnie/RealLib/
van der Hoeven, J.: Computations with effective real numbers. Theoretical Computer Science 351, 52–60 (2006)
Müller, N.T.: The iRRAM: Exact Arithmetic in C++. In: Blank, J., Brattka, V., Hertling, P. (eds.) CCA 2000. LNCS, vol. 2064, pp. 222–252. Springer, Heidelberg (2001)
Weihrauch, K.: An Introduction to Computable Analysis. Springer, Heidelberg (2000)
Briggs, K.: xrc homepage (2005), http://keithbriggs.info/xrc.html
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, Y., Yong, JH. (2007). Efficient Exact Arithmetic over Constructive Reals. In: Cai, JY., Cooper, S.B., Zhu, H. (eds) Theory and Applications of Models of Computation. TAMC 2007. Lecture Notes in Computer Science, vol 4484. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72504-6_40
Download citation
DOI: https://doi.org/10.1007/978-3-540-72504-6_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72503-9
Online ISBN: 978-3-540-72504-6
eBook Packages: Computer ScienceComputer Science (R0)