16 for (
int i=0;
i<
k;
i++)
21 if (
sigma->contains(interiorPoint))
23 for (
int i=0;
i<
k;
i++)
36 if (
sigma->contains(interiorPoint))
38 for (
int i=0;
i<
k;
i++)
84 sigma.getPolynomialRing(),
86 sigma.getTropicalStrategy());
102 sigma.deletePolynomialData();
106 Print(
"cones finished: %lu cones in working list: %lu\n",
121 for (
int i=0;
i<
k;
i++)
130 for (
int i=0;
i<
k;
i++)
177 sigma.deletePolynomialData();
180 Print(
"cones finished: %lu cones in working list: %lu\n",
std::pair< gfan::ZMatrix, gfan::ZMatrix > interiorPointsAndNormalsOfFacets(const gfan::ZCone zc, const std::set< gfan::ZVector > &exceptThesePoints, const bool onlyLowerHalfSpace)
gfan::ZMatrix interiorPointsOfFacets(const gfan::ZCone &zc, const std::set< gfan::ZVector > &exceptThese)
bool isValuationTrivial() const
bool restrictToLowerHalfSpace() const
returns true, if valuation non-trivial, false otherwise
implementation of the class groebnerCone
std::set< groebnerCone, groebnerCone_compare > groebnerCones
gfan::ZFan * groebnerFan(const tropicalStrategy currentStrategy)
poly initial(const poly p, const ring r, const gfan::ZVector &w)
Returns the initial form of p with respect to w.
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
ideal gfanlib_satStd_wrapper(ideal I, ring r, tHomog h=testHomog)
gfan::ZMatrix raysOfTropicalStar(ideal I, const ring r, const gfan::ZVector &u, const tropicalStrategy *currentStrategy)
groebnerCones groebnerTraversal(const groebnerCone startingCone)
std::vector< bool > checkNecessaryTropicalFlips(const groebnerCones &tropicalVariety, const groebnerCones &workingList, const gfan::ZVector &interiorPoint, const gfan::ZMatrix &normalVectors)
groebnerCones tropicalTraversalMinimizingFlips(const groebnerCone startingCone)
std::vector< bool > checkNecessaryGroebnerFlips(const groebnerCones &groebnerFan, const groebnerCones &workingList, const gfan::ZMatrix &interiorPoints)
BOOLEAN tropicalVariety(leftv res, leftv args)