rectification; Abhyankar-Sathaye embedding problem; variable noncommutative polynomial; optimization; sum of squares; semidefinite programming; moment problem; Hankel matrix; flat extension; Matlab toolbox; real algebraic geometry; free positivity 