Computing the Polar Decomposition—with Applications | Synapse