S-Polinomio

Para dos polinomios f y g con términos líderes lt(f) y lt(g), el S-polinomio es la combinación S(f,g) = (lcm(lt(f),lt(g))/lt(f))·f - (lcm(lt(f),lt(g))/lt(g))·g que cancela los términos líderes; mide la compatibilidad de los términos líderes en cálculos de bases de Gröbner.