A parallel multi-modular algorithm for computing Lagrange resolvents
The aim of this paper is to exploit the algorithms of paper Experimental Math. 8 (1999) in order to produce a new algebraic method for computing efficiently absolute Lagrange resolvent, a fundamental tool in constructive algebraic Galois theory. This article is composed of two parts. The main idea o...
Saved in:
| Published in: | Journal of symbolic computation Vol. 37; no. 5; pp. 547 - 556 |
|---|---|
| Main Author: | |
| Format: | Journal Article |
| Language: | English |
| Published: |
Elsevier Ltd
01.05.2004
|
| Subjects: | |
| ISSN: | 0747-7171, 1095-855X |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | The aim of this paper is to exploit the algorithms of paper Experimental Math. 8 (1999) in order to produce a new algebraic method for computing efficiently absolute Lagrange resolvent, a fundamental tool in constructive algebraic Galois theory. This article is composed of two parts.
The main idea of the first part is to break up the calculation of absolute resolvent into smaller computations. Since a multi-resolvent is a factor of a resolvent, the whole resolvent may be computed by means of several multi-resolvents.
The idea of the second part is that an irreducible polynomial over
Z
might be reducible over
Z /p
Z
for certain integer
p. So the first part can be applied and then, the Chinese remainder theorem allows to lift up the resolvent over
Z
. |
|---|---|
| ISSN: | 0747-7171 1095-855X |
| DOI: | 10.1016/S0747-7171(02)00012-3 |