tropicalCurves.h
Go to the documentation of this file.
1 #ifndef TROPICAL_CURVE_H
2 #define TROPICAL_CURVE_H
3 
4 #include <gfanlib/gfanlib_zcone.h>
5 #include <gfanlib/gfanlib_zfan.h>
7 #include <tropicalStrategy.h>
9 
10 ZConesSortedByDimension tropicalStar(const ideal I, const ring r, const gfan::ZVector &u,
11  const tropicalStrategy* currentStrategy);
12 gfan::ZMatrix raysOfTropicalStar(ideal I, const ring r, const gfan::ZVector &u,
13  const tropicalStrategy* currentStrategy);
14 
15 #ifndef NDEBUG
17 #endif
18 
19 #endif
implementation of the class tropicalStrategy
Class used for (list of) interpreter objects.
Definition: subexpr.h:83
BOOLEAN tropicalStarDebug(leftv res, leftv args)
poly res
Definition: myNF.cc:322
const ring r
Definition: syzextra.cc:208
std::set< gfan::ZCone, ZConeCompareDimensionFirst > ZConesSortedByDimension
ZConesSortedByDimension tropicalStar(const ideal I, const ring r, const gfan::ZVector &u, const tropicalStrategy *currentStrategy)
gfan::ZMatrix raysOfTropicalStar(ideal I, const ring r, const gfan::ZVector &u, const tropicalStrategy *currentStrategy)
int BOOLEAN
Definition: auxiliary.h:131