rectification; Abhyankar-Sathaye embedding problem; variable Polynomial optimization problem; Conic program; Symmetric cone; Euclidean Jordan algebra; Sum of squares; Global optimization; Semidefinite program 