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 #include <set>
7 
8 #include <tropicalStrategy.h>
9 
10 #ifndef NDEBUG
11 #include <Singular/subexpr.h> // for leftv
12 #include <bbfan.h> // for fanID
13 #endif
14 
16 {
17  bool operator() (const gfan::ZCone &zc, const gfan::ZCone &zd) const
18  {
19  int n = zc.dimension();
20  int m = zd.dimension();
21  if (n==m)
22  return zc<zd;
23  else
24  return n>m;
25  }
26 };
27 
28 typedef std::set<gfan::ZCone,ZConeCompareDimensionFirst> ZConesSortedByDimension;
29 
30 std::set<gfan::ZCone> tropicalVariety(const poly g, const ring r, const tropicalStrategy* currentCase);
32 
33 #ifndef NDEBUG
36 #endif
37 
38 #endif
implementation of the class tropicalStrategy
Class used for (list of) interpreter objects.
Definition: subexpr.h:83
BOOLEAN tropicalVariety01(leftv res, leftv args)
const CanonicalForm CFMap CFMap int &both_non_zero int n
Definition: cfEzgcd.cc:52
g
Definition: cfModGcd.cc:4031
ZConesSortedByDimension tropicalVarietySortedByDimension(const poly g, const ring r, const tropicalStrategy *currentCase)
poly res
Definition: myNF.cc:322
BOOLEAN tropicalVariety00(leftv res, leftv args)
const ring r
Definition: syzextra.cc:208
std::set< gfan::ZCone, ZConeCompareDimensionFirst > ZConesSortedByDimension
int m
Definition: cfEzgcd.cc:119
std::set< gfan::ZCone > tropicalVariety(const poly g, const ring r, const tropicalStrategy *currentCase)
polyrec * poly
Definition: hilb.h:10
bool operator()(const gfan::ZCone &zc, const gfan::ZCone &zd) const
int BOOLEAN
Definition: auxiliary.h:131