Lines Matching defs:numIneqs
317 unsigned numIneqs = poly.getNumInequalities();
327 // using permutations of numVars 1's and (numIneqs - numVars) 0's.
333 SmallVector<int> indicator(numIneqs);
334 for (unsigned i = numIneqs - numVars; i < numIneqs; ++i)
346 FracMatrix a2(numIneqs - numVars, numVars);
347 FracMatrix b2c2(numIneqs - numVars, numSymbols + 1);
349 remainder.getSubMatrix(0, numIneqs - numVars - 1, 0, numVars - 1));
350 b2c2 = FracMatrix(remainder.getSubMatrix(0, numIneqs - numVars - 1, numVars,
394 FracMatrix activeRegion(numIneqs - numVars, numSymbols + 1);
395 for (unsigned i = 0; i < numIneqs - numVars; i++) {