1 #ifndef TROPICAL_CURVE_H
2 #define TROPICAL_CURVE_H
4 #include "gfanlib/gfanlib_zcone.h"
5 #include "gfanlib/gfanlib_zfan.h"
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)
implementation of the class tropicalStrategy
std::set< gfan::ZCone, ZConeCompareDimensionFirst > ZConesSortedByDimension