--- src/tropicaltraverse.cpp.orig 2017-06-20 14:47:37 UTC +++ src/tropicaltraverse.cpp @@ -199,7 +199,7 @@ static void printMarkedTermIdeal(PolynomialSet const & static void changeCone(PolynomialSet &coneGroebnerBasis, PolynomialSet &idealGroebnerBasis, IntegerVector const &ridgeVector, IntegerVector const &rayVector) { assert(idealGroebnerBasis.containsInClosedGroebnerCone(ridgeVector)); - log2 cerr< const &facetStack, list const &ridgeStack)