#include "gfanlib/gfanlib.h"
#include "polys/monomials/p_polys.h"
#include "tropicalStrategy.h"
Go to the source code of this file.
◆ ZConesSortedByDimension
◆ tropicalVariety()
Definition at line 20 of file tropicalVarietyOfPolynomials.cc.
21{
25 {
29 {
33 }
35
39 for (
int i=0;
i<
l;
i++)
40 {
41 for (
int j=
i+1;
j<
l;
j++)
42 {
48 for (
int k=0;
k<
l;
k++)
51 if (
zc.dimension()>=n-1)
52 {
55 }
56 }
57 }
58 }
60}
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)
◆ tropicalVarietySortedByDimension()
Definition at line 62 of file tropicalVarietyOfPolynomials.cc.
63{
67 {
71 {
75 }
77
81 for (
int i=0;
i<
l;
i++)
82 {
83 for (
int j=
i+1;
j<
l;
j++)
84 {
90 for (
int k=0;
k<
l;
k++)
93 if (
zc.dimension()>=n-1)
94 {
97 }
98 }
99 }
100 }
102}
std::set< gfan::ZCone, ZConeCompareDimensionFirst > ZConesSortedByDimension