149     Vec         work1, work2;  in PCBDDCNullSpaceAssembleCorrection()  local
155     PetscCall(VecDuplicate(shell_ctx->fw[0], &work1));  in PCBDDCNullSpaceAssembleCorrection()
179     PetscCall(MatMult(local_mat, work2, work1));  in PCBDDCNullSpaceAssembleCorrection()
180     PetscCall(KSPSolve(check_ksp, work1, work1));  in PCBDDCNullSpaceAssembleCorrection()
181     PetscCall(KSPCheckSolve(check_ksp, pc, work1));  in PCBDDCNullSpaceAssembleCorrection()
182     PetscCall(VecAXPY(work1, -1., work2));  in PCBDDCNullSpaceAssembleCorrection()
183     PetscCall(VecNorm(work1, NORM_INFINITY, &test_err));  in PCBDDCNullSpaceAssembleCorrection()
199       PetscCall(MatMult(local_mat, work2, work1));  in PCBDDCNullSpaceAssembleCorrection()
209       PetscCall(KSPSolve(check_ksp, work1, work1));  in PCBDDCNullSpaceAssembleCorrection()
210       PetscCall(KSPCheckSolve(check_ksp, pc, work1));  in PCBDDCNullSpaceAssembleCorrection()
211       PetscCall(VecAXPY(work1, -1., work2));  in PCBDDCNullSpaceAssembleCorrection()
212       PetscCall(VecNorm(work1, NORM_INFINITY, &test_err));  in PCBDDCNullSpaceAssembleCorrection()
224     PetscCall(VecDestroy(&work1));  in PCBDDCNullSpaceAssembleCorrection()
230     Vec       work1, work2, work3;  in PCBDDCNullSpaceAssembleCorrection()  local
234     PetscCall(VecDuplicate(shell_ctx->fw[0], &work1));  in PCBDDCNullSpaceAssembleCorrection()
238     PetscCall(MatMult(shell_ctx->basis_mat, shell_ctx->sw[0], work1));  in PCBDDCNullSpaceAssembleCorrection()
239     PetscCall(VecCopy(work1, work2));  in PCBDDCNullSpaceAssembleCorrection()
240     PetscCall(MatMult(local_mat, work1, work3));  in PCBDDCNullSpaceAssembleCorrection()
241     PetscCall(KSPSolve(local_ksp, work3, work1));  in PCBDDCNullSpaceAssembleCorrection()
242     PetscCall(VecAXPY(work1, -1., work2));  in PCBDDCNullSpaceAssembleCorrection()
243     PetscCall(VecNorm(work1, NORM_INFINITY, &test_err));  in PCBDDCNullSpaceAssembleCorrection()
249     PetscCall(VecDestroy(&work1));  in PCBDDCNullSpaceAssembleCorrection()