Solving Algebraic Inequalities