Go to the source code of this file.
◆ tropicalVariety()
Definition at line 5 of file tropicalVarietyOfIdeals.cc.
6{
11}
gfan::ZFan * toFanStar(std::set< gfan::ZCone > setOfCones)
ring getStartingRing() const
returns the polynomial ring over the valuation ring
std::set< groebnerCone, groebnerCone_compare > groebnerCones
static short rVar(const ring r)
#define rVar(r) (r->N)
gfan::ZMatrix tropicalStartingPoints
groebnerCone tropicalStartingCone(const tropicalStrategy ¤tStrategy)
groebnerCones tropicalTraversalMinimizingFlips(const groebnerCone startingCone)
gfan::ZFan * tropicalVariety(const tropicalStrategy currentStrategy)