I understand the LU factorization algorithm as the result of the recurrence relationships
$$ u_{ij} = a_{ij} - \sum_{k = 1}^{i - 1} l_{ik} u_{kj} $$
for $i \le j$, and
$$ l_{ij} = \left[ a_{ij} - \sum_{k = 1}^{j - 1} l_{ik} u_{kj} \right]/u_{jj} $$
for $i > j$.
The problem though is that I cannot see how the pseudocode (below, from Numerical Linear Algebra by Grégoire Allaire and Sidi Mahmoud Kaber) is arrived at from the algorithm.
For example how is the statement
At the kth step we change its kth column so that the entries below the diagonal vanish by performing linear combinations of the kth row with every row from the (k + 1)th to the nth.
and the statement
At the kth step, the first k rows and the first k − 1 columns of the matrix are no longer modified
arrived at from the algorithm?
All the texts I've come across state the pseudocode without explanation. Allaire and Kaber is the only text that has made an attempt to explain the pseudocode, but sadly I cannot establish a connection with the recurrence relationship after at least two weeks of trying.
