On Sun, May 6, 2012 at 7:15 PM, Jed Brown <span dir="ltr"><<a href="mailto:jedbrown@mcs.anl.gov" target="_blank">jedbrown@mcs.anl.gov</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Matt introduced this concept, he says the IS is a better place to attach things.<div><br></div><div><a href="http://petsc.cs.iit.edu/petsc/petsc-dev/rev/2ad289ac99e0" target="_blank">http://petsc.cs.iit.edu/petsc/petsc-dev/rev/2ad289ac99e0</a></div>

<div><br></div><div>I don't understand why the IS is better (because it's mostly immutable?). I'm worried that putting it there is going to be fragile because the near null space is not a property of an IS at all.</div>

</blockquote></div><br>Its not a property of your matrix either, or you would not need me to tell you. Its a property of the operator. The operator<div>is defined by the DM. The near null space is actually a property of a suboperator, defined by the DM using a field (we are</div>
<div>not allowing arbitrary divisions). The representation of a field in PETSc is an IS (<a href="http://www.mcs.anl.gov/petsc/petsc-dev/docs/manualpages/DM/DMCreateFieldIS.html">http://www.mcs.anl.gov/petsc/petsc-dev/docs/manualpages/DM/DMCreateFieldIS.html</a>) so it makes sense to attach field information to the IS. Moreover, it</div>
<div>makes a hell of a lat more sense to attach an auxiliary operator (like L_p) to this IS than to a matrix.</div><div><br></div><div>Furthermore, this scheme is completely workable in a nested context. The user can specify the IS, or pull out the DM IS</div>
<div>and play with it, without a bunch of cumbersome copies hanging around that we do not want and can't destroy. That is what</div><div>would happen with persistent submatrices. Lastly, I am running this for PyLith and it works great.</div>
<div><br></div><div>   Matt</div><div><div><br></div>-- <br>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<br>
</div>