1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#ifndef TRAVERSER_TROPICAL_H_INCLUDED
#define TRAVERSER_TROPICAL_H_INCLUDED
#include "symmetrictraversal.h"
#include "polynomial.h"
class TropicalTraverser: public ConeTraverser
{
PolynomialSet coneGroebnerBasis;
PolynomialSet idealGroebnerBasis;
PolyhedralCone theCone;
int n,d;
void updatePolyhedralCone();
public:
TropicalTraverser(PolynomialSet const &coneGroebnerBasis_, PolynomialSet const &idealGroebnerBasis_);
virtual void changeCone(IntegerVector const &ridgeVector, IntegerVector const &rayVector);
virtual IntegerVectorList link(IntegerVector const &ridgeVector);
virtual PolyhedralCone & refToPolyhedralCone();
};
#endif
|