Email Record: The decision method for real algebra: is it practical? /