Email Record: Algorithms in Real Algebraic Geometry /