Cuando los coeficientes pertenecen a números enteros, números racionales o un campo finito, existen algoritmos para probar la irreductibilidad y calcular la factorización en polinomios irreductibles (vea la factorización de polinomios).