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
Class used for (list of) interpreter objects.
BOOLEAN tropicalStarDebug(leftv res, leftv args)
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)