Lines Matching refs:coefficients

204 During this process, some coefficients may become rational.
296 and the coefficients of the new constraint are adjusted accordingly.
389 If the coefficients of the unknown and parameters in a constraint
444 in a similar way, provided at least one of the coefficients is equal to one.
604 sizes of the coefficients.  In particular, it takes the largest coefficient
1146 of the coefficients of a valid constraint of $\Delta_i(\vec s)$.
1148 using three applications of Farkas' lemma.  The first obtains the coefficients
1150 the coefficients of constraints valid for the projection of $\Delta_i(\vec s)$
1152 and intersected with the first set.  The result is the set of coefficients
1178 CD := coefficients D;
1183 { rat: coefficients[[c_cst, c_n] -> [i2, i3]] : i3 <= c_n and
1189 CP := coefficients P;
1194 { rat: coefficients[[c_cst, c_n] -> []] : c_n >= 0 and 2c_n >= -c_cst }
1196 Negating these coefficients and intersecting with \verb+CD+,
1198 NCP := { rat: coefficients[[a,b] -> []]
1199               -> coefficients[[-a,-b] -> []] }(CP);