In this work we describe the use of truncated p-adic expansion for handling rational numbers by parallel algorithms for symbolic computation. As a case study we propose a parallel implementation for solving linear systems over the rationals. The parallelization is based on a multiple homomorphic image technique and the result is recovered by a parallel version of the Chinese remainder algorithm. Using a MIMD machine, we compare the proposed implementation with the classical modular arithmetic, showing that truncated p-adic arithmetic is a feasible tool for solving systems of linear equations working directly over rational numbers. A safe algorithm for computing the p-adic division operation is proposed.
Limongelli, C., & R., P. (1996). p-adic Arithmetic and Parallel Symbolic Computation: an Implementation for Solving Linear Systems over the Rationals. COMPUTERS AND ARTIFICIAL INTELLIGENCE, 14 n. 1, 35-62.
Titolo: | p-adic Arithmetic and Parallel Symbolic Computation: an Implementation for Solving Linear Systems over the Rationals | |
Autori: | ||
Data di pubblicazione: | 1996 | |
Rivista: | ||
Citazione: | Limongelli, C., & R., P. (1996). p-adic Arithmetic and Parallel Symbolic Computation: an Implementation for Solving Linear Systems over the Rationals. COMPUTERS AND ARTIFICIAL INTELLIGENCE, 14 n. 1, 35-62. | |
Handle: | http://hdl.handle.net/11590/144351 | |
Appare nelle tipologie: | 1.1 Articolo in rivista |