Relax out all columns with low coefficients

Author: Opt-Mucca

highs/mip/HighsLpRelaxation.cpp

@@ -877,8 +877,6 @@ bool HighsLpRelaxation::computeDualProof(const HighsDomain& globaldomain,
 
     double val = double(exactVal);
 
-    if (std::fabs(val) <= mipsolver.options_mip_->small_matrix_value) continue;
-
     bool removeValue = std::fabs(val) <= mipsolver.mipdata_->feastol;
 
     if (!removeValue &&
@@ -990,11 +988,6 @@ void HighsLpRelaxation::storeDualInfProof() {
   for (HighsInt i : row_ap.getNonzeros()) {
     double val = row_ap.getValue(i);
 
-    if (std::fabs(val) <= mipsolver.mipdata_->epsilon &&
-        ((val < 0 && globaldomain.col_upper_[i] <= 0) ||
-         (val > 0 && globaldomain.col_lower_[i] >= 0)))
-      continue;
-
     bool removeValue = std::abs(val) <= mipsolver.mipdata_->feastol;
 
     if (!removeValue &&