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)