消元后的阶梯型矩阵

非零行数

是否进行列变换

[[1, 1, −0.5, 3]

[0, 1, −1.5, 0]

[0, 0, 1, 2]]

3

否，序列为[0, 1, 2]