Reduced row-echelon form