summaryrefslogtreecommitdiffstats
path: root/chapitres
diff options
context:
space:
mode:
authorFabrice (Polytechnique) <Fabrice.Orgogozo@gmail.com>2011-12-15 14:52:42 (GMT)
committerFabrice (Polytechnique) <Fabrice.Orgogozo@gmail.com>2011-12-15 14:52:42 (GMT)
commitc6afe1b8b1843a232793b6ea36a74b6890416be0 (patch)
treeb0dd818559b0431ac2b98ca9ca1f19c4cf8488b3 /chapitres
parent798652d5c2ea34e13902f8dc30d49daf7348e165 (diff)
downloadgalois-c6afe1b8b1843a232793b6ea36a74b6890416be0.zip
galois-c6afe1b8b1843a232793b6ea36a74b6890416be0.tar.gz
galois-c6afe1b8b1843a232793b6ea36a74b6890416be0.tar.bz2
[calculs] Too many math alphabets used in version normal
Je ne sais pas comment résoudre ce problème.
Diffstat (limited to 'chapitres')
-rw-r--r--chapitres/calculs-galois.tex6
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