Email Record: Algorithms in real algebraic geometry /