Searched refs:getNegatedCoeffs (Results 1 – 1 of 1) sorted by relevance
125 static SmallVector<int64_t, 8> getNegatedCoeffs(ArrayRef<int64_t> coeffs) { in getNegatedCoeffs() function236 processInequality(getNegatedCoeffs(coeffs)); in subtractRecursively()