diff options
Diffstat (limited to 'math/gfan/files/patch-src_tropical__weildivisor.cpp')
| -rw-r--r-- | math/gfan/files/patch-src_tropical__weildivisor.cpp | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/math/gfan/files/patch-src_tropical__weildivisor.cpp b/math/gfan/files/patch-src_tropical__weildivisor.cpp new file mode 100644 index 000000000000..f118a0dfd560 --- /dev/null +++ b/math/gfan/files/patch-src_tropical__weildivisor.cpp @@ -0,0 +1,11 @@ +--- 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); |