<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div class=""><div class="h5"><br><br>
</div></div>MatProjectDirichlet() would be useful here, too: it would allow the<br>
user to inject the right modifications to the near nullspace.<br>
</blockquote></div><br></div><div class="gmail_extra">I'm not sure this is a good abstraction<span style="font-size:12.8000001907349px">. </span>These are coordinate transformations.  Here you just want to know if the value should be zero but in general you want a real transformation. </div><div class="gmail_extra"><br></div><div class="gmail_extra">If the user rotates the local coordinate system to match the BC and zeros out row(s) then there will be a dummy equation and you should, in theory, rotate the null space, and the dumb <span style="font-size:12.8000001907349px">MatProjectDirichlet do its job.  If the user _then_ rotates the operator back (what you initially suggested I think) then I don't think you need to do anything, now that I think about it.</span><br></div><div class="gmail_extra"><br></div><div class="gmail_extra">  </div></div>