diff options
| author | Fabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com> | 2012-11-12 22:13:57 +0100 |
|---|---|---|
| committer | Fabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com> | 2012-11-12 22:13:57 +0100 |
| commit | c1ac4a0fa197af7b8ee29e8abf8f3b5142148bd6 (patch) | |
| tree | 92e7ca105c111c27b87aeb620428e8d411f68f25 | |
| parent | 417a887853b6058caeca6f652f5392de1d6d29af (diff) | |
| download | galois-c1ac4a0fa197af7b8ee29e8abf8f3b5142148bd6.zip galois-c1ac4a0fa197af7b8ee29e8abf8f3b5142148bd6.tar.gz galois-c1ac4a0fa197af7b8ee29e8abf8f3b5142148bd6.tar.bz2 | |
[calculs] petite remarque (0 a de nombreux diviseurs)
| -rw-r--r-- | chapitres/calculs-galois.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/chapitres/calculs-galois.tex b/chapitres/calculs-galois.tex index 8f53287..656e83b 100644 --- a/chapitres/calculs-galois.tex +++ b/chapitres/calculs-galois.tex @@ -223,6 +223,7 @@ coefficients), ce qui écarte les facteurs constants. Il s'agit alors, pour chaque $k > 0$ inférieur au degré de $f$, de décider si $f$ possède un facteur de degré $k$ et le cas échéant de le calculer. On calcule $f(0),\ldots,f(k)$ et, pour chaque choix $(d_0,\ldots,d_k)$ de +\commentaire{Discuter (ou exclure) cas $f(i)=0$.} diviseurs des entiers $(f(0),\ldots,f(k))$, on calcule l'unique polynôme $g \in \QQ[X]$ de degré $k$ tel que $g(0) = d_0$, ..., $g(k) = d_k$ (polynôme interpolateur de Lagrange), et, si $g \in \ZZ[X]$, on |