1 #ifndef TROPICAL_CURVE_H 2 #define TROPICAL_CURVE_H 4 #include "gfanlib/gfanlib_zcone.h" 5 #include "gfanlib/gfanlib_zfan.h" implementation of the class tropicalStrategy
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)