[petsc-users] Is sparsity of Vec exploited in MatMult?