1 #ifndef TROPICALTRAVERSE_H_INCLUDED 2 #define TROPICALTRAVERSE_H_INCLUDED 3 4 #include "bergman.h" 5 6 7 /** 8 Represents a tropical variety up to symmetry. 9 10 New strategy. 11 */ 12 13 PolyhedralFan tropicalTraverse(PolynomialSet coneGroebnerBasis, PolynomialSet idealGroebnerBasis, SymmetryGroup const *symmetryGroup=0); 14 void coneChangeDebugger(PolynomialSet coneGroebnerBasis, PolynomialSet idealGroebnerBasis, IntegerVectorList const &ridges, IntegerVectorList const &rays); 15 16 #endif 17