387   Vec           r, w1, w2;  in PCPreSolve_Deflation()  local
392   w2 = def->workcoarse[1];  in PCPreSolve_Deflation()
410   PetscCall(KSPSolve(def->WtAWinv, w1, w2)); /*    w2 <- (W'*A*W)^{-1}*w1    */  in PCPreSolve_Deflation()
411   PetscCall(MatMult(def->W, w2, r));         /*    r  <- W*w2                */  in PCPreSolve_Deflation()
427   Vec           u, w1, w2;  in PCApply_Deflation()  local
431   w2 = def->workcoarse[1];  in PCApply_Deflation()
440         PetscCall(MatMult(def->Wt, r, w2)); /*    w2 <- W'*r                */  in PCApply_Deflation()
442         PetscCall(MatMultHermitianTranspose(def->W, r, w2)); /*    w2 <- W'*r                */  in PCApply_Deflation()
444       PetscCall(VecAXPY(w1, -1.0 * def->correctfact, w2)); /*    w1 <- w1 - l*w2           */  in PCApply_Deflation()
446     PetscCall(KSPSolve(def->WtAWinv, w1, w2)); /*    w2 <- (W'*A*W)^{-1}*w1    */  in PCApply_Deflation()
447     PetscCall(MatMult(def->W, w2, u));         /*    u  <- W*w2                */  in PCApply_Deflation()