rectification; Abhyankar-Sathaye embedding problem; variable real semi-algebraic set; real root counting problem; complexity of computation; decision problem for semi-algebraic sets; quantifier elimination 