Is the Polar Decomposition Finitely Computable?