[math-fun] polar decomposition