polynomial_unitroot
