petsc_vector.py

Define the PETSc Vector class.