My Project  UNKNOWN_GIT_VERSION
tropicalVarietyOfPolynomials.h
Go to the documentation of this file.
1 #ifndef GFANLIB_TROPICALVARIETYOFPOLYNOMIALS_H
2 #define GFANLIB_TROPICALVARIETYOFPOLYNOMIALS_H
3 
4 #include "gfanlib/gfanlib.h"
6 
7 #include "tropicalStrategy.h"
8 
9 #ifndef SING_NDEBUG
10 #include "Singular/subexpr.h" // for leftv
11 #include "bbfan.h" // for fanID
12 #endif
13 
15 {
16  bool operator() (const gfan::ZCone &zc, const gfan::ZCone &zd) const
17  {
18  int n = zc.dimension();
19  int m = zd.dimension();
20  if (n==m)
21  return zc<zd;
22  else
23  return n>m;
24  }
25 };
26 
27 typedef std::set<gfan::ZCone,ZConeCompareDimensionFirst> ZConesSortedByDimension;
28 
29 std::set<gfan::ZCone> tropicalVariety(const poly g, const ring r, const tropicalStrategy* currentCase);
30 ZConesSortedByDimension tropicalVarietySortedByDimension(const poly g, const ring r, const tropicalStrategy* currentCase);
31 
32 #ifndef SING_NDEBUG
33 BOOLEAN tropicalVariety00(leftv res, leftv args);
34 BOOLEAN tropicalVariety01(leftv res, leftv args);
35 #endif
36 
37 #endif
tropicalVariety
std::set< gfan::ZCone > tropicalVariety(const poly g, const ring r, const tropicalStrategy *currentCase)
Definition: tropicalVarietyOfPolynomials.cc:20
bbfan.h
g
g
Definition: cfModGcd.cc:4031
sleftv
Class used for (list of) interpreter objects.
Definition: subexpr.h:83
res
CanonicalForm res
Definition: facAbsFact.cc:64
ZConesSortedByDimension
std::set< gfan::ZCone, ZConeCompareDimensionFirst > ZConesSortedByDimension
Definition: tropicalVarietyOfPolynomials.h:27
BOOLEAN
int BOOLEAN
Definition: auxiliary.h:85
tropicalStrategy.h
implementation of the class tropicalStrategy
p_polys.h
subexpr.h
ZConeCompareDimensionFirst::operator()
bool operator()(const gfan::ZCone &zc, const gfan::ZCone &zd) const
Definition: tropicalVarietyOfPolynomials.h:16
ZConeCompareDimensionFirst
Definition: tropicalVarietyOfPolynomials.h:15
m
int m
Definition: cfEzgcd.cc:121
tropicalVarietySortedByDimension
ZConesSortedByDimension tropicalVarietySortedByDimension(const poly g, const ring r, const tropicalStrategy *currentCase)
Definition: tropicalVarietyOfPolynomials.cc:62
tropicalStrategy
Definition: tropicalStrategy.h:37