1#include "gfanlib/gfanlib.h"
39 for (
int i=0;
i<
l;
i++)
41 for (
int j=
i+1;
j<
l;
j++)
48 for (
int k=0;
k<
l;
k++)
51 if (
zc.dimension()>=n-1)
81 for (
int i=0;
i<
l;
i++)
83 for (
int j=
i+1;
j<
l;
j++)
90 for (
int k=0;
k<
l;
k++)
93 if (
zc.dimension()>=n-1)
BOOLEAN inequalities(leftv res, leftv args)
gfan::ZVector intStar2ZVector(const int d, const int *i)
const CanonicalForm int s
#define omFreeSize(addr, size)
static void p_GetExpV(poly p, int *ev, const ring r)
static short rVar(const ring r)
#define rVar(r) (r->N)
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