Commit cf5bed80 authored by Romain WALLON's avatar Romain WALLON

Corrects the bound check in Chow parameters

parent 4df25182
Pipeline #4619 failed with stages
in 4 minutes and 43 seconds
......@@ -181,7 +181,7 @@ public class DetectIrrelevantSolver extends AbstractOutputSolver
.add(i);
maxCoeff = maxCoeff.max(c);
}
if (maxCoeff.compareTo(BigInteger.valueOf(20000)) >= 0
if (realDegree.compareTo(BigInteger.valueOf(20000)) >= 0
|| realDegree.signum() == 0) {
return FakeConstr.instance();
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment