Describir: Real Algebraic Geometry