How to factor polynomials?