Gaussian elimination
假如高斯消去法不能將formula_41化為三角形的格式，那就代表formula_41是一個不可逆的矩陣。