<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div>Dear SCIP developers,</div><div>we use the following console command to convert NL-file to CIP format (as an input of ParaSCIP). E,g, for PROBLEm.nl it looks like<br></div><div>$ echo "write problem PROBLEM.cip quit" | scipampl PROBLEM.nl -i</div><div>It works correctly, but recently I noticed some strange reformulation of constraints in resulting CIP-file.</div><div>It seems, that it concerns homogeneous expressions only. At least I did not found that  "reformulation" for "non-homogeneous" constraints.</div><div><br></div><div>E.g. if original problem has constraints on norm of vector of variables</div><div>x[1]^2 + x[2]^2 = 1,</div><div>then it will appear into the following form (no questions!)<br></div><div>[quadratic] <cons_norm>: <x[1]>[C]^2 +<x[2]>[C]^2 == 1;<br></div><div><br></div><div>But if original problem has constraint on vectors product</div><div>x[1]*y[2] - x[2]*y[1] <= 0,</div><div>then it will appear in CIP file in the following (equivalent)  form:</div><div>[quadratic] <cons_vp>:  +0.5<x[1]>[C]<y[2]>[C] -0.5<x[2]>[C]<y[1]>[C] -0.5<x[2]>[C]<y[1]>[C] +0.5<x[1]>[C]<y[2]>[C] <= 0;<br></div><div>But why?! What is the reason for this transformation? <br></div><div><br></div><div>Best regards,<br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>Vladimir V. Voloshinov,<br>head of lab. C-3 "Distributed computing algorithms", <a href="http://www.iitp.ru/ru/researchlabs/1040.htm" target="_blank">http://www.iitp.ru/ru/researchlabs/1040.htm</a>,<br>Center for Distributed Computing, <a href="http://distcomp.ru" target="_blank">http://distcomp.ru</a>, Institute for Information Transmission Problems RAS</div></div></div></div></div></div></div></div></div></div></div></div></div>