<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr">Matt is right.<div><br></div><div>When you defined the operator S, you basically invalidate the operator N (in the sense that they are no longer consistent). Hence when you use KSP nest to solve your problem your A matrix looks like </div><div><div> A = diag[1, 2, 4, 0, 8]</div></div><div>but the B matrix you have defined looks like</div><div><div> B = diag[1, 2, 4, 0.00001]</div></div><div><br></div><div>The only way to obtain the correct answer with your code is thus to use the option</div><div>-ksp_type preonly<br></div><div><br></div><div>Thanks</div><div>Dave</div><div><br><div><br></div></div></div></div></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, 24 Mar 2019 at 22:09, Mark Adams via petsc-dev <<a href="mailto:petsc-dev@mcs.anl.gov" target="_blank">petsc-dev@mcs.anl.gov</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">I think he is saying that this line seems to have no effect (and the comment is hence wrong):<div><br></div><div><pre class="gmail-m_8767326949575149941gmail-m_928777800623408844gmail-aLF-aPX-K0-aPE" style="font-family:"Courier New",Courier,monospace,arial,sans-serif;margin-top:0px;margin-bottom:0px;white-space:pre-wrap;color:rgb(0,0,0);font-size:14px">KSPSetOperators(subksp[nsplits - 1], S, S);</pre></div><div><pre class="gmail-m_8767326949575149941gmail-m_928777800623408844gmail-aLF-aPX-K0-aPE" style="margin-top:0px;margin-bottom:0px"><pre class="gmail-m_8767326949575149941gmail-m_928777800623408844gmail-aLF-aPX-K0-aPE" style="color:rgb(0,0,0);font-family:"Courier New",Courier,monospace,arial,sans-serif;font-size:14px;white-space:pre-wrap;margin-top:0px;margin-bottom:0px">// J2 = [[4, 0] ; [0, 0.00001]]</pre><pre class="gmail-m_8767326949575149941gmail-m_928777800623408844gmail-aLF-aPX-K0-aPE" style="color:rgb(0,0,0);font-family:"Courier New",Courier,monospace,arial,sans-serif;font-size:14px;white-space:pre-wrap;margin-top:0px;margin-bottom:0px"><br></pre><font face="arial, helvetica, sans-serif">J2 is a 2x2 but this block has been changed into two single equation fields. Does this KSPSetOperators supposed to copy this 1x1 S matrix into the (1,1) block of the "J2", or do some sort of correct mixing internally, to get what he wants?</font><br></pre><pre class="gmail-m_8767326949575149941gmail-m_928777800623408844gmail-aLF-aPX-K0-aPE" style="margin-top:0px;margin-bottom:0px"><font face="arial, helvetica, sans-serif"><br></font></pre><pre class="gmail-m_8767326949575149941gmail-m_928777800623408844gmail-aLF-aPX-K0-aPE" style="margin-top:0px;margin-bottom:0px"><font face="arial, helvetica, sans-serif">BTW, this line does not seem necessary to me so maybe I'm missing something.</font></pre><pre class="gmail-m_8767326949575149941gmail-m_928777800623408844gmail-aLF-aPX-K0-aPE" style="margin-top:0px;margin-bottom:0px"><font face="arial, helvetica, sans-serif"><br></font></pre><pre class="gmail-m_8767326949575149941gmail-m_928777800623408844gmail-aLF-aPX-K0-aPE" style="margin-top:0px;margin-bottom:0px"><pre class="gmail-m_8767326949575149941gmail-m_928777800623408844gmail-aLF-aPX-K0-aPE" style="font-family:"Courier New",Courier,monospace,arial,sans-serif;margin-top:0px;margin-bottom:0px;white-space:pre-wrap;color:rgb(0,0,0);font-size:14px">KSPSetOperators(sub, J2, J2);</pre><pre class="gmail-m_8767326949575149941gmail-m_928777800623408844gmail-aLF-aPX-K0-aPE" style="font-family:"Courier New",Courier,monospace,arial,sans-serif;margin-top:0px;margin-bottom:0px;white-space:pre-wrap;color:rgb(0,0,0);font-size:14px"><br></pre></pre></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Mar 24, 2019 at 4:33 PM Matthew Knepley via petsc-dev <<a href="mailto:petsc-dev@mcs.anl.gov" target="_blank">petsc-dev@mcs.anl.gov</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr">On Sun, Mar 24, 2019 at 10:21 AM Pierre Jolivet <<a href="mailto:pierre.jolivet@enseeiht.fr" target="_blank">pierre.jolivet@enseeiht.fr</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>It’s a 4x4 matrix.<div>The first 2x2 diagonal matrix is a field.<div>The second 2x2 diagonal matrix is another field.</div><div>In the second field, the first diagonal coefficient is a subfield.</div><div>In the second field, the second diagonal coefficient is another subfield.</div><div>I’m changing the operators from the second subfield (last diagonal coefficient of the matrix).</div><div>When I solve a system with the complete matrix (2 fields), I get a different “partial solution" than when I solve the “partial system” on just the second field (with the two subfields in which I modified the operators from the second one).</div></div></div></blockquote><div><br></div><div>I may understand waht you are doing.</div><div>Fieldsplit calls MatGetSubMatrix() which can copy values, depending on the implementation,</div><div>so changing values in the original matrix may or may not change it in the PC.</div><div> </div><div> Matt</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div><div>I don’t know if this makes more or less sense… sorry :\</div><div>Thanks,</div><div>Pierre<br><div><br><blockquote type="cite"><div>On 24 Mar 2019, at 8:42 PM, Matthew Knepley <<a href="mailto:knepley@gmail.com" target="_blank">knepley@gmail.com</a>> wrote:</div><br class="gmail-m_8767326949575149941gmail-m_928777800623408844gmail-m_4707396507371526411gmail-m_-4800910044753334158Apple-interchange-newline"><div><div dir="ltr"><div dir="ltr">On Sat, Mar 23, 2019 at 9:12 PM Pierre Jolivet via petsc-dev <<a href="mailto:petsc-dev@mcs.anl.gov" target="_blank">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">I’m trying to figure out why both solutions are not consistent in the following example.<br>
Is what I’m doing complete nonsense?<br></blockquote><div><br></div><div>The code does not make clear what you are asking. I can see its a nested fieldsplit.</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">
Thanks in advance for your help,<br>
Pierre<br>
<br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail-m_8767326949575149941gmail-m_928777800623408844gmail-m_4707396507371526411gmail-m_-4800910044753334158gmail_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>
</div></blockquote></div><br></div></div></div></blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail-m_8767326949575149941gmail-m_928777800623408844gmail-m_4707396507371526411gmail_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>
</blockquote></div>
</blockquote></div>