S-Polynom
Definition
Für zwei Polynome f und g mit Leitmonomen lt(f) und lt(g) ist das S-Polynom die Kombination S(f,g) = (lcm(lt(f),lt(g))/lt(f))·f - (lcm(lt(f),lt(g))/lt(g))·g, die die Leitmonome aufhebt; es misst die Verträglichkeit der Leitmonome bei Gröbner-Berechnungen.