Suppose that is an eigenpair of
It follows easily from equation (7.29) that
The iteration in BIRAM terminates at the value of when the
wanted
eigenvalues of
satisfy (7.30). The eigenvalues
are partitioned as in (7.31) so that the wanted ones correspond to
the eigenvalues of
desired.