rectification; Abhyankar-Sathaye embedding problem; variable semialgebraic sets; polygon containment problem; computational geometry; piano mover's problem; cylindric algebraic decomposition; complexity 