Re: [petsc-dev] petsc-dev Digest, Vol 154, Issue 7