rectification; Abhyankar-Sathaye embedding problem; variable Hilbert's 17th problem; positive semidefinite analytic function; sum of squares of meromorphic functions; complexification; normalization; non-coherence 