Algoritmo de Cantor–Zassenhaus
Definición
Un algoritmo aleatorizado para factorizar polinomios sobre cuerpos finitos, típicamente ejecutado en dos fases: factorización por grado distinto seguida de separación de grado igual usando polinomios aleatorios y exponenciación en el grupo multiplicativo para separar factores con alta probabilidad.