Here, the unknowns will be passed in the reverse order.
Thus the redundant stored matrices
,
,
,
and
will updated locally during the factorization so that
their accumulation is only allowed previously to their factorization !
The elimination step is a simple application of (4.12a).