rectification; Abhyankar-Sathaye embedding problem; variable algorithms in real algebraic geometry; complexity; real counting problem; number of real roots; real roots of a polynomial; multivariate polynomials; Hilbert's Nullstellensatz 