это когда
1 0 0 ... (g1,n-1) (g1,n)
0 1 0 ... (g2,n-1) (g2,n)
0 0 1 ... (g3,n-1) (g3,n)
есть ли формальный метод (т.е. алгоритм), описывающий процесс
трансформации данной матрицы в стандартную форму? числа в матрице из
ээмм... конечного тела (finite field), строки можно менять местами, столбцы
тоже, можно умнажать на числа.
все описания, что я видел, очень неформальные: что вроде смотрим на
элемент, прикидываем, на что бы тут поделить, ой, нельзя, соседняя
строчка с нулем, меняем местами, бла бла бла... ну в общем лениво
формализировать интуитивно понятный процесс.
> мне, правда, нужно, чтоб получившаяся матрица обязательно "начиналась" с единичной, а reduced row echelon form этого мне не гарантирует.
если у матрицы ранг меньше максимально возможного (для матриц данного размера), то не получится начать с единичной -- потому что при твоих преобразованиях ранг не меняется. А если ранг максимальный, то и reduced row echelon form будет начинаться с единичной.