División de Polinomios
Definición
El algoritmo que, dada una polinomio dividendo y un divisor polinómico no nulo sobre un dominio de coeficientes, produce un cociente polinómico y un resto polinómico cuyo grado es estrictamente menor que el del divisor, siempre que el dominio de coeficientes permita invertir los coeficientes principales (p. ej., un cuerpo).