My Project
Loading...
Searching...
No Matches
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
27typedef std::set<gfan::ZCone,ZConeCompareDimensionFirst> ZConesSortedByDimension;
28
29std::set<gfan::ZCone> tropicalVariety(const poly g, const ring r, const tropicalStrategy* currentCase);
30ZConesSortedByDimension tropicalVarietySortedByDimension(const poly g, const ring r, const tropicalStrategy* currentCase);
31
32#ifndef SING_NDEBUG
33BOOLEAN tropicalVariety00(leftv res, leftv args);
34BOOLEAN tropicalVariety01(leftv res, leftv args);
35#endif
36
37#endif
int BOOLEAN
Definition: auxiliary.h:87
int m
Definition: cfEzgcd.cc:128
g
Definition: cfModGcd.cc:4090
Class used for (list of) interpreter objects.
Definition: subexpr.h:83
CanonicalForm res
Definition: facAbsFact.cc:60
bool operator()(const gfan::ZCone &zc, const gfan::ZCone &zd) const
implementation of the class tropicalStrategy
std::set< gfan::ZCone > tropicalVariety(const poly g, const ring r, const tropicalStrategy *currentCase)
ZConesSortedByDimension tropicalVarietySortedByDimension(const poly g, const ring r, const tropicalStrategy *currentCase)
std::set< gfan::ZCone, ZConeCompareDimensionFirst > ZConesSortedByDimension