<br><br><div class="gmail_quote">On Wed, Dec 14, 2011 at 9:31 PM, Barry Smith <span dir="ltr"><<a href="mailto:bsmith@mcs.anl.gov">bsmith@mcs.anl.gov</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="HOEnZb"><div class="h5"><br>
On Dec 14, 2011, at 9:22 PM, Jed Brown wrote:<br>
<br>
> On Wed, Dec 14, 2011 at 17:55, Barry Smith <<a href="mailto:bsmith@mcs.anl.gov">bsmith@mcs.anl.gov</a>> wrote:<br>
>  What Matt is trying to tell you is that changing values at this level to prevent function evaluations outside of the function domain inside Newton is a total hack that rarely works well and should be avoided. You really don't want to do this.<br>


><br>
> It sounds like for the problems Bobby is asking about, the continuum solutions never produce values at a "constraint". In gas dynamics, the continuum equations are PDEs, not variational inequalities, but the pressure and temperature are still never negative. If a bound was available, MatMFFD could potentially choose the sign of the differencing to stay within the feasible domain. This does seem quite limited, however, because the positive and negative versions could cause violations in different parts of the domain.<br>


<br>
</div></div>   If you are truly near 0 in temperature or pressure and differencing can push you over the limit then I submit it is perfectly reasonable to solve them as VI.<br>
<br>
   Though actually our VI solvers are currently not really matrix-free so this is a bit academic.<br></blockquote><div><br></div><div>We could support a matrix-free SNESVI if extracting a submatrix from a MF matrix was implemented by pre-/post-multiplying it by a suitable P, no?</div>

<div><br></div><div>Dmitry. </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<span class="HOEnZb"><font color="#888888"><br>
   Barry<br>
<br>
</font></span></blockquote></div><br>