#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.
23 std::set<gfan::ZCone> tropVar;
26 int* expv = (
int*)
omAlloc((n+1)*
sizeof(int));
27 gfan::ZMatrix exponents = gfan::ZMatrix(0,n);
36 int l = exponents.getHeight();
37 gfan::ZVector lowerHalfSpaceCondition = gfan::ZVector(n);
38 lowerHalfSpaceCondition[0] = -1;
39 for (
int i=0;
i<
l;
i++)
41 for (
int j=
i+1;
j<
l;
j++)
43 gfan::ZMatrix equation = gfan::ZMatrix(0,n);
44 equation.appendRow(exponents[
i].toVector()-exponents[
j].toVector());
48 for (
int k=0;
k<
l;
k++)
51 if (zc.dimension()>=n-1)
◆ tropicalVarietySortedByDimension()
Definition at line 62 of file tropicalVarietyOfPolynomials.cc.
68 int* expv = (
int*)
omAlloc((n+1)*
sizeof(int));
69 gfan::ZMatrix exponents = gfan::ZMatrix(0,n);
78 int l = exponents.getHeight();
79 gfan::ZVector lowerHalfSpaceCondition = gfan::ZVector(n);
80 lowerHalfSpaceCondition[0] = -1;
81 for (
int i=0;
i<
l;
i++)
83 for (
int j=
i+1;
j<
l;
j++)
85 gfan::ZMatrix equation = gfan::ZMatrix(0,n);
86 equation.appendRow(exponents[
i].toVector()-exponents[
j].toVector());
90 for (
int k=0;
k<
l;
k++)
91 if (
k!=
i &&
k!=
j)
inequalities.appendRow(exponents[
i].toVector()-exponents[
k].toVector());
93 if (zc.dimension()>=n-1)