12 lines
318 B
C++
12 lines
318 B
C++
--- src/tropical_weildivisor.cpp.orig 2017-06-20 14:47:37 UTC
|
|
+++ src/tropical_weildivisor.cpp
|
|
@@ -53,7 +53,7 @@ PolyhedralFan weilDivisor(PolyhedralFan const &F, Poly
|
|
|
|
AsciiPrinter P(Stderr);
|
|
|
|
- log2 P<<v<<v<<"\n";
|
|
+ gfan_log2 P<<v<<v<<"\n";
|
|
|
|
int multiplicity=0;
|
|
IntegerVector evaluationVector(n);
|