A polynomial reduction algorithm
Séminaire de théorie des nombres de Bordeaux, Série 2, Tome 3 (1991) no. 2, pp. 351-360.

L’algorithme que nous décrivons dans ce papier est une approche pratique de la représentation d’un corps de nombre K par la racine d’un polynôme aussi canonique que possible. Nous utilisons l’algorithme LLL pour trouver une base de petits vecteurs pour le réseau de ℝ n image des entiers de K par le plongement canonique.

The algorithm described in this paper is a practical approach to the problem of giving, for each number field K a polynomial, as canonical as possible, a root of which is a primitive element of the extension K/ℚ. Our algorithm uses the LLL algorithm to find a basis of minimal vectors for the lattice of ℝ n determined by the integers of K under the canonical map.

@article{JTNB_1991__3_2_351_0,
     author = {Cohen, Henri and Diaz Y Diaz, Francisco},
     title = {A polynomial reduction algorithm},
     journal = {S\'eminaire de th\'eorie des nombres de Bordeaux},
     pages = {351--360},
     publisher = {Universit\'e Bordeaux I},
     volume = {Ser. 2, 3},
     number = {2},
     year = {1991},
     mrnumber = {1149802},
     zbl = {0758.11053},
     language = {en},
     url = {http://archive.numdam.org/item/JTNB_1991__3_2_351_0/}
}
TY  - JOUR
AU  - Cohen, Henri
AU  - Diaz Y Diaz, Francisco
TI  - A polynomial reduction algorithm
JO  - Séminaire de théorie des nombres de Bordeaux
PY  - 1991
SP  - 351
EP  - 360
VL  - 3
IS  - 2
PB  - Université Bordeaux I
UR  - http://archive.numdam.org/item/JTNB_1991__3_2_351_0/
LA  - en
ID  - JTNB_1991__3_2_351_0
ER  - 
%0 Journal Article
%A Cohen, Henri
%A Diaz Y Diaz, Francisco
%T A polynomial reduction algorithm
%J Séminaire de théorie des nombres de Bordeaux
%D 1991
%P 351-360
%V 3
%N 2
%I Université Bordeaux I
%U http://archive.numdam.org/item/JTNB_1991__3_2_351_0/
%G en
%F JTNB_1991__3_2_351_0
Cohen, Henri; Diaz Y Diaz, Francisco. A polynomial reduction algorithm. Séminaire de théorie des nombres de Bordeaux, Série 2, Tome 3 (1991) no. 2, pp. 351-360. http://archive.numdam.org/item/JTNB_1991__3_2_351_0/

[Ford] D.J. Ford, The construction of maximal orders over a Dedekind domain, J. Symbolic Computation 4 (1987), 69-75. | MR | Zbl

[Kwon-Mart] S.-H. Kwon and J. Martinet, Sur les corps resolubles de degré premier, J. Reine Angew. Math. 375/376 (1987), 12-23. | MR | Zbl

[LLL] A.K. Lenstra, H.W. Lenstra, Jr. and L. Lovász, Factoring polynomials with rational coefficients, Math. Annalen 61 (1982), 515-534. | MR | Zbl

[Oliv] M. Olivier, Corps sextiques primitifs, Ann. Institut Fourier 40 (1990), 757-767. | Numdam | MR | Zbl

[PMD] M. Pohst, J. Martinet and F. Diaz Y Diaz, The minimum discriminant of totally real octic fields, J. Number Theory 36 (1990), 145-159. | MR | Zbl

[Stau] R.P. Stauduhar, The determination of Galois groups, Math. Comp. 27 (1973), 981-996. | MR | Zbl