[petsc-dev] Vector operations on ghosted vectors