Implement the Sturm's Theorem in univariate polynomial case