Type of the functions

The i-th value in the array of $n$ integers Type_Eq enable one to indicate if function $F_i$ is an equation or an inequality:

• Type_Eq(i)=0 : $F_i$ must verify $F_i(X)=0$
• Type_Eq(i)=1 : $F_i$ must verify $F_i(X)\ge 0$
• Type_Eq(i)=-1 : $F_i$ must verify $F_i(X)\le 0$

For all the general solving algorithms the integer ALIAS_Pure_Equation is set to the number of equations in the constraints list.