<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=utf-8"><meta name=Generator content="Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style></head><body lang=DE link=blue vlink="#954F72"><div class=WordSection1><p class=MsoNormal><span style='font-size:12.0pt;font-family:"Times New Roman",serif'>Dear SCIP-Team,<br><br>I would really appreciate if you can help me by providing some information<br>about how Scip handles nonlinear constraints.<br><br>I want to implement an algorithm which computes a linearisation<br>(delta-method) and a relaxation of nonlinear constraints such as<br>exp(x)-y=0.<br>I have already understood that Scip uses Expression Trees to store the<br>representation of nonlinear constraints. Unfortunately I have never worked<br>with expression Trees before. So hopefully you can give me an advise where<br>I can find some information about how Scip works with expression trees.<br>Moreover Scip is doing a lot of "presolve" when reading the problem. For<br>example when I have the constraint exp(x)*ln(s)-y=0<br>Scip transforms this constraint to the following kind:<br>exp(x)-z=0 (1)<br>ln(s)-w=0 (2)<br>z*w-y=0 (3)<br>My question is will Scip always transform all nonlinear constraint this way?<br>So that you have always constraints with maximum one nonlinear term?<br>If this would be the case, there would be no need for me to transform the<br>nonlinear constraint to the following type: (one) nonlinearexpr - (one)<br>variable =0 such as (1) or product of vars - vars =0 such as (3).<br>Thank you very much<br><br>Yours sincerely,<br><br>Johannes Thürauf<br><br></span><o:p></o:p></p><p class=MsoNormal><span style='font-size:12.0pt;font-family:"Times New Roman",serif'><o:p> </o:p></span></p></div></body></html>