Solve quadratic inequalities by sign analysis (#329)