Exercises in real algebraic geometry