Abstract
In this paper we analyze the possibility of speeding up rational number arithmetic by using a parallel p-adic approach.
Approximated p-adic arithmetic has received much attention in the last years and several contributions made this arithmetic more efficient. Moreover, p-adic arithmetic is very appropriate for parallel computations over rational numbers as it is based on the multiple homomorphic images technique and the computations are performed independently in each image.
However, to reconstruct the unique result a very time consuming algorithm (the Chinese Remainder Algorithm) has to be used. In order to improve the performance of the recovery step, we propose a specific parallel algorithm and we show that this new algorithm is faster with respect to an already existing algorithm.
To compare these algorithms we have implemented the parallel p-adic arithmetic with both of them. The analysis of the dynamic behaviour of the algorithms shows that the proposed algorithm needs a smaller amount of synchronization, yielding an efficient parallel algorithm.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bruno Buchberger. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal (An Algorithm for Finding a Basis for the Residue Class Ring of a Zero-dimensional Polynomial Ideal) (In German). PhD thesis, University of Innsbruck, Department of Mathematics, Austria, 1965.
Bruno Buchberger, George Collins, Mark Encarnation, Hoon Hong, Jeremy Johnson, Werner Krandick, Rüdiger Loos, Ana Mandache, Andreas Neubacher, and Herbert Vielhaber. A SACLIB Primer. Technical Report 92-34, RISC-Linz, Johannes Kepler University, Linz, Austria, 1992.
Peter A. Buhr and Richard A. Stroobosscher. The μ System: Providing Lightweight Concurrency on Shared-Memory Multiprocessor Computers Running UNIX. Software — Practice and Experience, 20(9):929–964, September 1990.
Bruce W. Char. Progress Report on a System for General-Purpose Parallel Symbolic Algebraic Computation. In Proceedings of the ISSAC'90, Tokyo, Japan, August 20–24, pages 96–103, Department of Computer Science, University of Tennessee, Knoxville, TN 37996-1301, 1990. ACM Press, New York.
A. Colagrossi and C. Limongelli. Big numbers p-adic arithmetic: a parallel approach. In Proc. AAECC-6, LNCS Series n. 357. Springer, 1988.
A. Colagrossi, C. Limongelli, and A. Miola. Scientific computation by error-free arithmetics. Journal of information Science and Technology, July–October 1993. To appear.
George E. Collins. Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition. In Proceedings of the 2nd GI Conference, volume 33 of Lecture Notes in Computer Science, pages 134–183, Kaiserslautern, 1975. Springer.
R.T. Gregory and E.V. Krishnamurthy. Methods and Applications of Error-Free Computation. Springer, 1984.
Hoon Hong, Wolfgang Schreiner, Andreas Neubacher, Kurt Siegl, Hans-Wolfgang Loidl, Tudor Jebelean, and Peter Zettler. PACLIB User Manual. Technical Report 92-32, RISC-Linz, Johannes Kepler University, Linz, Austria, May 1992.
D. Knuth. Seminumerical Algorithms, volume 2. Addison Wesley Publishing Company, 1981.
N. Koblitz. p-adic Numbers, p-adic Analysis and Zeta Functions. Springer, 1977.
E. V. Krishnamurthy. Error-Free Polynomial Matrix Computation. Texts and Monographs in Computer Science. Springer, 1985.
Wolfgang Kuechlin. A Parallel SAC-2 Based on Threads. Technical report, Computer and Information Sciences, Ohio State University, Columbus, Ohio, April 1990.
D. Lazard. Stewart platform and Gröbner basis. In Parenti-Castelli and Lenarcic, editors, Proc. 3rd Int. Workshop on Robot Kinematics, Ferrara, Sept., 1992.
C. Limongelli. On an Efficient Algorithm for Big Rational Number Computations by Parallel p-adics. Journal of Symbolic Computation, 15(2):181–197, February 1993.
Hans Wolfgang Loidl. A Parallel Chinese Remainder Algorithm on a Shared Memory Multiprocessor. Technical report, RISC-Linz, Johannes Kepler University, Linz, Austria, 1993. To appear.
A. Miola. Algebraic approach to p-adic conversion of rational numbers. Information Processing Letters, 18:167–171, 1984.
Kurt Siegl. ¦ MAPLE¦ — A System for Parallel Symbolic Computation. In Hussein M. Alnuweiri, editor, Parallel Systems Fair at the Seventh International Parallel Processing Symposium, pages 62–67, Newport Beach, CA, April 14, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Limongelli, C., Loidl, H.W. (1993). Rational number arithmetic by parallel p-adic algorithms. In: Volkert, J. (eds) Parallel Computation. ACPC 1993. Lecture Notes in Computer Science, vol 734. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57314-3_7
Download citation
DOI: https://doi.org/10.1007/3-540-57314-3_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57314-2
Online ISBN: 978-3-540-48055-6
eBook Packages: Springer Book Archive