Hay un simple algoritmo debido a Gauss para volver a escribir un polinomio simétrico $f(x,y)$ como polinomio en términos de la primaria simétrica polinomios $\,s_1 = x+y,\ \ s_2 = xy.$ es decir si $f$ tiene el grado más alto plazo $\ c x^a y^b $ en la lex (diccionario) orden (es decir, $\,(a,b) > (c,d)\, $ si $\,a >c,\,$ o $\,a= c\,$$\, b > d)\,$, a continuación, cancelar el mayor plazo de $\,f\,$ restando $\,cs_1^{a-b} s_2^b,\, $ , a continuación, llame a sí misma en lo que queda.
Vamos a realizar el algoritmo de Gauss en el ejemplo a la mano $\ f = x^3 + y^3.\ $ Desde $(3,0) > (0,3)\,$ el más alto grado del monomio es$\ 1\cdot x^\color{#0a0}3y^\color{#c00}0,\ $, por lo que restamos $\ 1\cdot s_1^{\color{#0a0}3-\color{#c00}0} s_2^\color{#c00}0\, =\, (x+y)^3\ $ de rendimiento.
$$\ x^3+y^2\ -\ (x+y)^3\, =\ 3x^2 y + 3x y^2$$
Por $\,(2,1)>(1,2),\, $ HR tiene altos grados de plazo$\,3x^{\color{#0a0}2} y^\color{#c00}1\,$, por lo que restamos $\ 3 s_1^{\color{#0a0}2-\color{#c00}1} s_2^\color{#c00}1\, =\, 3(x+y)(xy)$
$$\ x^3+y^2\, -\ (x+y)^3\, -\ 3(x+y)(xy) \ =\ 0$$
De manera que el algoritmo termina, produciendo $\ f = s_1^3 + 3s_1 s_2.\ $ Desde que se conocen los valores de $\,s_1 = x+y,\ $ $\ s_2 = xy,\ $ ahora se puede calcular el $f$ mediante el uso de la anterior ecuación.
Este mismo algoritmo funciona para polinomios en cualquier número de variables. Reduce estos problemas a la memorización mecánica de cálculo, es decir, no conjeturas se requiere para resolver tales problemas, sólo simple polinomio aritmético. El algoritmo produce una interpretación constructiva del Teorema Fundamental de los Polinomios Simétricos, que cada simétrica polinomio tiene una representación única como un polinomio en la primaria simétrica polinomios.
El algoritmo de Gauss puede ser visto como un caso especial de Gröbner base de los métodos (que puede ser visto tanto como una generalización multivariante de la (Euclidiana) división de polinomios algoritmo, así como de una relación no lineal genralization de eliminación Gaussiana para sistemas lineales de ecuaciones). El algoritmo de Gauss es el primer uso conocido de un lexicográfica del fin de plazo de reescritura (ahora de mecanizado por el Grobner base algoritmo y métodos relacionados).