Lines Matching defs:numVars
315 unsigned numVars = poly.getNumRangeVars();
326 // We iterate over all subsets of inequalities with cardinality numVars,
327 // using permutations of numVars 1's and (numIneqs - numVars) 0's.
332 // We start with the permutation that takes the last numVars inequalities.
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,
351 numVars + numSymbols));
394 FracMatrix activeRegion(numIneqs - numVars, numSymbols + 1);
395 for (unsigned i = 0; i < numIneqs - numVars; i++) {
413 ConeH tangentCone = defineHRep(numVars);
415 SmallVector<DynamicAPInt> ineq(numVars + 1);
416 for (unsigned k = 0; k < numVars; ++k)
442 // up to numVars - 1 dimensions.