My Project
Loading...
Searching...
No Matches
tropicalVarietyOfIdeals.h File Reference

Go to the source code of this file.

Functions

gfan::ZFan * tropicalVariety (const tropicalStrategy currentStrategy)
 

Function Documentation

◆ tropicalVariety()

gfan::ZFan * tropicalVariety ( const tropicalStrategy currentStrategy)

Definition at line 5 of file tropicalVarietyOfIdeals.cc.

6{
7 tropicalStartingPoints = gfan::ZMatrix(0,rVar(currentStrategy.getStartingRing()));
8 groebnerCone startingCone = tropicalStartingCone(currentStrategy);
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)
Definition ring.h:598
gfan::ZMatrix tropicalStartingPoints
groebnerCone tropicalStartingCone(const tropicalStrategy &currentStrategy)
groebnerCones tropicalTraversalMinimizingFlips(const groebnerCone startingCone)
BOOLEAN tropicalVariety(leftv res, leftv args)