<div dir="ltr"><div dir="ltr">On Wed, Apr 3, 2019 at 5:43 AM Pierre Jolivet via petsc-dev <<a href="mailto:petsc-dev@mcs.anl.gov">petsc-dev@mcs.anl.gov</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="word-wrap:break-word"><div dir="auto" style="word-wrap:break-word">I’d like to do mesh adaptation in a Newton loop.<div>I’m using a SNES with SNESSetFunction and SNESSetJacobian.</div><div>My first question is: may the dimension of the linear systems change throughout the nonlinear iterations?</div><div></div></div></div></blockquote><div><br></div><div>No. Everything we do is algebraic right now. You would have to reformulate Newton in</div><div>some Banach space, and make sure all the measures you were using were discretization</div><div>independent. Then you could allow the underlying linear algebra to change, but you would</div><div>need operations for projecting the the new space, making BC in the new space, etc. There</div><div>is a lot of machinery in the continuous space that PETSc does not have.</div><div><br></div><div>It sounds like it should be setup as an FAS.</div><div><br></div><div>  Thanks,</div><div><br></div><div>     Matt</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="word-wrap:break-word"><div dir="auto" style="word-wrap:break-word"><div>If so, what are the proper things to do? I tried to do as Stefano in MFEM and use MatHeaderReplace <a href="https://github.com/mfem/mfem/blob/master/linalg/petsc.cpp#L3833" target="_blank">https://github.com/mfem/mfem/blob/master/linalg/petsc.cpp#L3833</a> inside the function supplied to SNESSetJacobian, but I end up with a [0]PETSC ERROR: PCApply() line 455 in petsc/src/ksp/pc/interface/precon.c Preconditioner number of local rows 6561 does not equal resulting vector number of rows 1681 further down the road. Should I also call something like VecHeaderReplace (which apparently does not exist) on the residual Vec?</div><div><br></div><div>Thanks,</div><div>Pierre</div></div></div></blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div>What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead.<br>-- Norbert Wiener</div><div><br></div><div><a href="http://www.cse.buffalo.edu/~knepley/" target="_blank">https://www.cse.buffalo.edu/~knepley/</a><br></div></div></div></div></div></div></div></div>