<div dir="ltr"><div>I am copying this example:<a href="https://petsc.org/release/src/ksp/ksp/tutorials/ex42.c.html"> https://petsc.org/release/src/ksp/ksp/tutorials/ex42.c.html </a> lines 2040'2042</div></div>