On Sat, Feb 11, 2012 at 00:00, recrusader <recrusader@gmail.com> wrote:

You have to follow the code down to where those matrices are used.

1478:   AssembleA_Stokes(A,da_Stokes,da_prop,properties);
1479:   AssembleA_PCStokes(B,da_Stokes,da_prop,properties);

This uses a "block preconditioner", the B matrix is intentionally different from the A matrix in order to handle the saddle point.