Fatorando polinomios de grau grd!

["Marcio" <mcohen@xxxxxxxxxx>]

	Como que programas como o MAPLE fazem para fatorar polinomios em Z/Z[x] de
grau maior que 2 (inclusive qdo todas as raizes sao complexas)?? qual o
algoritmo que eles usam??
por exemplo o maple automaticamente faria algo como:
factor(x^4-5x^3+12x^2-16x+10);
(x^2-2x+2)(x^2-3x+5)

Abracos,
Marcio