--- src/padic.cpp.orig 2017-06-20 14:47:37 UTC +++ src/padic.cpp @@ -406,14 +406,14 @@ void pAdicBuchberger(PolynomialSet &g, int prime, Inte for(PolynomialSet::const_iterator i=g.begin();i!=g.end();i++) for(PolynomialSet::const_iterator j=g.begin();j!=i;j++) { -log2 debug<<"checking s poly\n"<<*i<<"("<