summaryrefslogtreecommitdiffstats
path: root/chapitres/bases-groebner.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2012-10-12 16:03:18 +0200
committerDavid A. Madore <david+git@madore.org>2012-10-12 16:03:18 +0200
commitcf6f70505af2ca1687ed682db89f87757734c904 (patch)
treee8f8886ea6ff4a29749a5ac5945dc25936735b69 /chapitres/bases-groebner.tex
parent26c6b84675b5123611deb6b94c2f930327362f9b (diff)
downloadgalois-cf6f70505af2ca1687ed682db89f87757734c904.zip
galois-cf6f70505af2ca1687ed682db89f87757734c904.tar.gz
galois-cf6f70505af2ca1687ed682db89f87757734c904.tar.bz2
[Gröbner, calculs] Correction erreur de signe qui traînait.
Diffstat (limited to 'chapitres/bases-groebner.tex')
-rw-r--r--chapitres/bases-groebner.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/chapitres/bases-groebner.tex b/chapitres/bases-groebner.tex
index 5f4497c..62b2c8f 100644
--- a/chapitres/bases-groebner.tex
+++ b/chapitres/bases-groebner.tex
@@ -1405,7 +1405,7 @@ Gröbner de $I$ pour l'ordre lexicographique (où on est convenu
d'ordonner les variables de la manière $Z_1 \preceq Z_2 \preceq \cdots
\preceq Z_d$) est fourni par les
\[
-q_i := h_i(Z_1,\ldots,Z_{d-i+1}) - \sum_{j=1}^k a_j h_{k-j}(Z_1,\ldots,Z_{d-i+1})
+q_i := h_i(Z_1,\ldots,Z_{d-i+1}) + \sum_{j=1}^k a_j h_{k-j}(Z_1,\ldots,Z_{d-i+1})
\]
où $h_n$ est le $n$-ième polynôme homogène symétrique complet de
$Z_1,\ldots,Z_d$, c'est-à-dire la somme de tous les monômes de degré