[petsc-users] Question on MatMatmult