Treinador de divisão de polinômios

A divisão polinomial decompõe algoritmicamente estruturas algébricas de alto grau. Extrai sistematicamente os termos de ordem superior para calcular o quociente e o resto exatos, revelando as assíntotas das funções racionais.

A divisão de polinômios funciona igual à divisão longa de números inteiros que você já conhece: tira-se um termo de cada vez e subtrai-se. O interessante aparece ao dividir por um fator simples como (x - c): o resto que sobra é exatamente p(c), o polinômio avaliado em c. Assim, um resto igual a zero significa que c é uma raiz, e você descobre isso sem substituir o número.

Cada soma de verificação CRC — o controle de erros de um arquivo salvo, de um ZIP ou de um pacote Ethernet — é uma divisão de polinômios disfarçada. Os bits de dados viram coeficientes de um polinômio gigante sobre o corpo GF(2), onde se calcula módulo 2 e a soma é apenas um XOR. Esse polinômio é dividido por um polinômio gerador fixo, e o resto é a soma de verificação. O mesmo algoritmo que este treinador percorre à mão roda bilhões de vezes por segundo no hardware de rede.