[petsc-users] Some questions about modifying the linear system in SNES