eldorado.tu-dortmund.de/server/api/core/bitstreams/f15a4154-6447-401a-bced-297062f5172e/content
(5, 5), (1, 6), . . . , (6, 6)} und w = 5.
2) Es reduzieren g1, g3 und g4 bzgl. {g5} zu Null, d.h. wir haben G = (0, g2, 0, 0, g5, g6) und B = {(2, 2), (2, 5), (5, 5), (2, 6), (5, 6), (6, 6)}.
3) Wir setzen [...] (2) 2
g1−→ y (2) 2 = g6
2.5 Der differentielle Buchberger-Algorithmus 71
ein weiteres Element von G mit Phantomgewicht pw(g6) = 4. 7) Wir erweitern B um die Paare (1, 6), . . . , (6, 6). 5) Die kritischen [...] sein.
Lemma 2.1.6. Seien f, g ∈ D\{0} Polynome und t ∈ Tn.
a) Ist f + g 6= 0, so gilt LTσ(f + g) ≤σ maxσ{LTσ(f),LTσ(g)}. Ist LTσ(f) 6= LTσ(g) oder LTσ(f) = LTσ(g) und LCσ(f) + LCσ(g) 6= 0, so gilt die …