tropicalVarietyOfIdeals.cc
Go to the documentation of this file.
1 #include <groebnerCone.h>
2 #include <startingCone.h>
3 #include <tropicalTraversal.h>
4 
5 gfan::ZFan* tropicalVariety(const tropicalStrategy currentStrategy)
6 {
7  groebnerCone startingCone = tropicalStartingCone(currentStrategy);
9  return toFanStar(tropicalVariety);
10 }
gfan::ZFan * toFanStar(std::set< gfan::ZCone > setOfCones)
groebnerCone tropicalStartingCone(const tropicalStrategy &currentStrategy)
std::set< groebnerCone, groebnerCone_compare > groebnerCones
Definition: groebnerCone.h:24
groebnerCones tropicalTraversalMinimizingFlips(const groebnerCone startingCone)
implementation of the class groebnerCone
gfan::ZFan * tropicalVariety(const tropicalStrategy currentStrategy)