行最简形矩阵定义