solving polynomial inequalities