My Project  UNKNOWN_GIT_VERSION
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  tropicalStartingPoints = gfan::ZMatrix(0,rVar(currentStrategy.getStartingRing()));
8  groebnerCone startingCone = tropicalStartingCone(currentStrategy);
10  return toFanStar(tropicalVariety);
11 }
gfan::ZFan * toFanStar(std::set< gfan::ZCone > setOfCones)
static short rVar(const ring r)
#define rVar(r) (r->N)
Definition: ring.h:582
ring getStartingRing() const
returns the polynomial ring over the valuation ring
groebnerCone tropicalStartingCone(const tropicalStrategy &currentStrategy)
std::set< groebnerCone, groebnerCone_compare > groebnerCones
Definition: groebnerCone.h:23
groebnerCones tropicalTraversalMinimizingFlips(const groebnerCone startingCone)
gfan::ZMatrix tropicalStartingPoints
Definition: startingCone.cc:18
implementation of the class groebnerCone
gfan::ZFan * tropicalVariety(const tropicalStrategy currentStrategy)