Gauss-Jordan matrix inversion: Difference between revisions
Content deleted Content added
Line 1,124:
end
fn
subtract_normalized_pivot_row
(i : one_to_n, j : one_to_n) :<!refwrt> void =
Line 1,137:
needlessly_set_to_value (A, i, j, Zero);
for* {k : int | j + 1 <= k; k <= n + 1} .<(n + 1) - k>.
(k : int k) =>
(k := succ j; k <> succ n; k := succ k)
Line 1,213 ⟶ 1,189:
(i : int i) =>
(i := 1; i <> j; i := succ i)
for* {i : int | j + 1 <= i; i <= n + 1}
.<(n + 1) - i>.
|