Gaussian eliminations