tropicalVarietyOfIdeals.cc File Reference

#include "groebnerCone.h"
#include "startingCone.h"
#include "tropicalTraversal.h"

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.

{
  tropicalStartingPoints = gfan::ZMatrix(0,rVar(currentStrategy.getStartingRing()));
  groebnerCone startingCone = tropicalStartingCone(currentStrategy);
  groebnerCones tropicalVariety = tropicalTraversalMinimizingFlips(startingCone);
  return toFanStar(tropicalVariety);
}