149     Vec         work1, work2;  in PCBDDCNullSpaceAssembleCorrection()  local
156     PetscCall(VecDuplicate(shell_ctx->fw[0], &work2));  in PCBDDCNullSpaceAssembleCorrection()
178     PetscCall(VecSetRandom(work2, NULL));  in PCBDDCNullSpaceAssembleCorrection()
179     PetscCall(MatMult(local_mat, work2, work1));  in PCBDDCNullSpaceAssembleCorrection()
182     PetscCall(VecAXPY(work1, -1., work2));  in PCBDDCNullSpaceAssembleCorrection()
198       PetscCall(VecSetRandom(work2, NULL));  in PCBDDCNullSpaceAssembleCorrection()
199       PetscCall(MatMult(local_mat, work2, work1));  in PCBDDCNullSpaceAssembleCorrection()
211       PetscCall(VecAXPY(work1, -1., work2));  in PCBDDCNullSpaceAssembleCorrection()
225     PetscCall(VecDestroy(&work2));  in PCBDDCNullSpaceAssembleCorrection()
230     Vec       work1, work2, work3;  in PCBDDCNullSpaceAssembleCorrection()  local
235     PetscCall(VecDuplicate(shell_ctx->fw[0], &work2));  in PCBDDCNullSpaceAssembleCorrection()
239     PetscCall(VecCopy(work1, work2));  in PCBDDCNullSpaceAssembleCorrection()
242     PetscCall(VecAXPY(work1, -1., work2));  in PCBDDCNullSpaceAssembleCorrection()
250     PetscCall(VecDestroy(&work2));  in PCBDDCNullSpaceAssembleCorrection()