From the FAQ, I see that src/mat/examples/tests/ex72.c provides an example of reading in a matrix system in matrix market format and then exporting it in petsc sparse format for the serial case.

Is there an example of how to read in a matrix system in kspviewbinary format and then write it out in matrix market format for the serial case? Thanks, Dave