Commit d7168eec authored by Jan Elffers's avatar Jan Elffers

this gives a more honest version of 'no division'

parent d2430427
Pipeline #377 passed with stage
in 31 seconds
......@@ -131,7 +131,8 @@ public class MapPb implements IDataStructurePB {
}
}
if (newcase) {
BigInteger value = this.weightedLits.getCoef(0);
return false;
/*BigInteger value = this.weightedLits.getCoef(0);
for (int i = 1; i < size(); i++) {
if (!this.weightedLits.getCoef(i).equals(value)) {
return false;
......@@ -141,7 +142,7 @@ public class MapPb implements IDataStructurePB {
BigInteger[] division = degree.divideAndRemainder(value);
if (!division[1].equals(BigInteger.ZERO))
division[0] = division[0].add(BigInteger.ONE);
this.cardDegree = division[0];
this.cardDegree = division[0];*/
} else
this.cardDegree = degree;
return true;
......
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