Loading...
Searching...
No Matches
tropicalVarietyOfPolynomials.h
Go to the documentation of this file.
#ifndef GFANLIB_TROPICALVARIETYOFPOLYNOMIALS_H
#define GFANLIB_TROPICALVARIETYOFPOLYNOMIALS_H
#include "gfanlib/gfanlib.h"
#include "polys/monomials/p_polys.h"
#include "tropicalStrategy.h"
#ifndef SING_NDEBUG
#include "Singular/subexpr.h" // for leftv
#include "bbfan.h" // for fanID
#endif
struct ZConeCompareDimensionFirst
{
bool operator() (const gfan::ZCone &zc, const gfan::ZCone &zd) const
{
int n = zc.dimension();
int m = zd.dimension();
if (n==m)
return zc<zd;
else
return n>m;
}
};
typedef std::set<gfan::ZCone,ZConeCompareDimensionFirst> ZConesSortedByDimension;
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);
#ifndef SING_NDEBUG
BOOLEAN tropicalVariety00(leftv res, leftv args);
BOOLEAN tropicalVariety01(leftv res, leftv args);
#endif
#endif
BOOLEAN
int BOOLEAN
Definition auxiliary.h:88
bbfan.h
m
int m
Definition cfEzgcd.cc:128
g
g
Definition cfModGcd.cc:4098
tropicalStrategy
Definition tropicalStrategy.h:37
res
CanonicalForm res
Definition facAbsFact.cc:60
p_polys.h
ZConeCompareDimensionFirst
Definition tropicalVarietyOfPolynomials.h:15
ZConeCompareDimensionFirst::operator()
bool operator()(const gfan::ZCone &zc, const gfan::ZCone &zd) const
Definition tropicalVarietyOfPolynomials.h:16
leftv
sleftv * leftv
Definition structs.h:53
subexpr.h
tropicalStrategy.h
implementation of the class tropicalStrategy
tropicalVariety
std::set< gfan::ZCone > tropicalVariety(const poly g, const ring r, const tropicalStrategy *currentCase)
Definition tropicalVarietyOfPolynomials.cc:20
tropicalVarietySortedByDimension
ZConesSortedByDimension tropicalVarietySortedByDimension(const poly g, const ring r, const tropicalStrategy *currentCase)
Definition tropicalVarietyOfPolynomials.cc:62
ZConesSortedByDimension
std::set< gfan::ZCone, ZConeCompareDimensionFirst > ZConesSortedByDimension
Definition tropicalVarietyOfPolynomials.h:27