diff options
author | Fabrice (Polytechnique) <Fabrice.Orgogozo@gmail.com> | 2011-12-15 15:52:42 +0100 |
---|---|---|
committer | Fabrice (Polytechnique) <Fabrice.Orgogozo@gmail.com> | 2011-12-15 15:52:42 +0100 |
commit | c6afe1b8b1843a232793b6ea36a74b6890416be0 (patch) | |
tree | b0dd818559b0431ac2b98ca9ca1f19c4cf8488b3 /chapitres/calculs-galois.tex | |
parent | 798652d5c2ea34e13902f8dc30d49daf7348e165 (diff) | |
download | galois-c6afe1b8b1843a232793b6ea36a74b6890416be0.tar.gz galois-c6afe1b8b1843a232793b6ea36a74b6890416be0.tar.bz2 galois-c6afe1b8b1843a232793b6ea36a74b6890416be0.zip |
[calculs] Too many math alphabets used in version normal
Je ne sais pas comment résoudre ce problème.
Diffstat (limited to 'chapitres/calculs-galois.tex')
-rw-r--r-- | chapitres/calculs-galois.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/chapitres/calculs-galois.tex b/chapitres/calculs-galois.tex index b6f4fbb..89efe1b 100644 --- a/chapitres/calculs-galois.tex +++ b/chapitres/calculs-galois.tex @@ -2352,12 +2352,12 @@ et $a_1,\ldots,a_4$ par les fonctions symétriques élémentaires au signe près, et de constater qu'on obtient bien le produit de $X-F$ par la même quantité après échange de $Z_1$ et $Z_3$. Cependant, si on se demande comment une telle expression a été trouvée, une méthode -consiste à calculer dans l'anneau $\QQ[Z_1,\ldots,Z_4, \mathit{\Pi}, +consiste à calculer dans l'anneau $\QQ[Z_1,\ldots,Z_4, \Pi, A_1,\ldots,A_4]$ une base de Gröbner de l'idéal engendré par $A_1 + -(Z_1+Z_2+Z_3+Z_4), \ldots, A_4 - (Z_1 Z_2 Z_3 Z_4)$ et $\mathit{\Pi} - +(Z_1+Z_2+Z_3+Z_4), \ldots, A_4 - (Z_1 Z_2 Z_3 Z_4)$ et $\Pi - (Z_1 Z_3 + Z_2 Z_4)$ pour l'ordre lexicographique sur les monômes prolongeant un ordre sur les variables tel que $Z_1, \ldots, Z_4 > -\mathit{\Pi} > A_1, \ldots, A_4$. En réduisant modulo cette base les +\Pi > A_1, \ldots, A_4$. En réduisant modulo cette base les coefficients de $R_{D_4,F}$ exprimés dans les variables $Z_1,\ldots,Z_4$, on obtient leur expression en $a_1,\ldots,a_4$ et $\pi$. On renvoie à \cite[algorithme 2.5.6]{Sturmfels} pour une |