[petsc-users] Why MatMult(A, x, Ax) != A*x?