for v>3.2 in PETScVector