# Doubt regarding GMRES(m) and preconditioned GMRES

I have the two following algorithms for GMRES(m) and left preconditioned GMRES.

GMRES(m)

Left preconditioning

I would like to know if anyone could explain why steps 10 through 12 are not used in the left preconditioned GMRES. Are they lost, or is it implicit that these need to happen?

If not, am I correct to assume that left-preconditioned works in blocks of m-vectors (number of vectors chosen before the restart of the Krylov subspace). So, if I choose 20 vectors to store before the restart, it will assemble all 20 Krylov subspace basis, and only afterward move to step 12?

It's just a difference in how the authors decided to write the algorithm. Left-preconditioned GMRES is the same as regular GMRES where $$A$$ is replaced with $$M^{-1}A$$ and $$b$$ is replaced with $$M^{-1}b$$. (I.e. you solve the preconditioned system $$M^{-1}Ax=M^{-1}b$$ instead of $$Ax=b$$.)

• So the stop criteria is also present(line 10-12 in GMRES(m)), right? It was omitted from the algorithm because it is implied that it happens? Sep 25, 2021 at 10:55
• Yes. My guess is the second author considered it a minor implementation detail that distracts from the interesting parts the algorithm. Sep 25, 2021 at 16:54
• Not strictly no, as I recall, the reason that GMRES(m) has that line and not the preconditioned is because the GMRES(m) portion evaluation corresponds exactly to the linear system residual, where as the preconditioned one corresponds to the preconditioned systems residual, which is not the same and you don't want to exit the algorithm based on the preconditioned residual. This is different from right-preconditioned GMRES which keeps that exit condition because they maintain the correspondence to the linear system residual.
– EMP
Oct 27, 2021 at 17:55