tropicalCurves.h
Go to the documentation of this file.
1 #ifndef TROPICAL_CURVE_H
2 #define TROPICAL_CURVE_H
3 
4 #include <gfanlib/gfanlib_zcone.h>
5 #include <gfanlib/gfanlib_zfan.h>
7 #include <tropicalStrategy.h>
9 
10 ZConesSortedByDimension tropicalStar(const ideal I, const ring r, const gfan::ZVector &u,
11  const tropicalStrategy* currentStrategy);
12 gfan::ZMatrix raysOfTropicalStar(ideal I, const ring r, const gfan::ZVector &u,
13  const tropicalStrategy* currentStrategy);
14 
15 #endif
implementation of the class tropicalStrategy
const ring r
Definition: syzextra.cc:208
std::set< gfan::ZCone, ZConeCompareDimensionFirst > ZConesSortedByDimension
ZConesSortedByDimension tropicalStar(const ideal I, const ring r, const gfan::ZVector &u, const tropicalStrategy *currentStrategy)
gfan::ZMatrix raysOfTropicalStar(ideal I, const ring r, const gfan::ZVector &u, const tropicalStrategy *currentStrategy)