My Project  debian-1:4.1.1-p2+ds-4build3
Functions
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.

6 {
7  tropicalStartingPoints = gfan::ZMatrix(0,rVar(currentStrategy.getStartingRing()));
8  groebnerCone startingCone = tropicalStartingCone(currentStrategy);
10  return toFanStar(tropicalVariety);
11 }
groebnerCones
std::set< groebnerCone, groebnerCone_compare > groebnerCones
Definition: groebnerCone.h:23
tropicalStartingCone
groebnerCone tropicalStartingCone(const tropicalStrategy &currentStrategy)
Definition: startingCone.cc:374
toFanStar
gfan::ZFan * toFanStar(std::set< gfan::ZCone > setOfCones)
Definition: callgfanlib_conversion.cc:137
rVar
static short rVar(const ring r)
#define rVar(r) (r->N)
Definition: ring.h:583
tropicalTraversalMinimizingFlips
groebnerCones tropicalTraversalMinimizingFlips(const groebnerCone startingCone)
Definition: tropicalTraversal.cc:52
tropicalStartingPoints
gfan::ZMatrix tropicalStartingPoints
Definition: startingCone.cc:18
groebnerCone
Definition: groebnerCone.h:28
tropicalStrategy::getStartingRing
ring getStartingRing() const
returns the polynomial ring over the valuation ring
Definition: tropicalStrategy.h:176
tropicalVariety
gfan::ZFan * tropicalVariety(const tropicalStrategy currentStrategy)
Definition: tropicalVarietyOfIdeals.cc:5