Skip to content

Commit b09412d

Browse files
committed
onboarding-task-typo-lara
1 parent 3732b4a commit b09412d

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

doc/inc/faq/faqtext.txt

+1-1
Original file line numberDiff line numberDiff line change
@@ -382,7 +382,7 @@ SECTION: General Questions about SCIP
382382
Of course, it would also be possible to change the type of variable y to "integer" (<code>SCIP_VARTYPE_INTEGER</code>), but this would mean that SCIP may
383383
try to actively enforce integrality of y, e.g., by branching on y if it takes a fractional value in a relaxations solution.
384384
Thus, to express that a variable will eventually take an integral value but does not need to be branched on, variable type SCIP_VARTYPE_IMPLINT is used.
385-
In fact, for a linear constraint &Sigma;<sub>i</sub> a<sub>i</sub> x<sub>i</sub> + y = b with all coefficents being integral and all variables integer,
385+
In fact, for a linear constraint &Sigma;<sub>i</sub> a<sub>i</sub> x<sub>i</sub> + y = b with all coefficients being integral and all variables integer,
386386
SCIP may decide to change the type of variable y to implicit-integer.
387387
</p>
388388
<p>

0 commit comments

Comments
 (0)