gfan::ZFan * toFanStar(std::set< gfan::ZCone > setOfCones)
groebnerCone tropicalStartingCone(const tropicalStrategy ¤tStrategy)
std::set< groebnerCone, groebnerCone_compare > groebnerCones
groebnerCones tropicalTraversalMinimizingFlips(const groebnerCone startingCone)
implementation of the class groebnerCone
gfan::ZFan * tropicalVariety(const tropicalStrategy currentStrategy)