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