Go to the source code of this file.
◆ groebnerTraversal()
Pick a maximal Groebner cone from the working list and compute interior points on its facets as well as outer facet normals
Definition at line 141 of file tropicalTraversal.cc.
142{
144
150
152 {
153
154
155
156
159
164
166 {
168
170 {
173 }
175 }
176
177 sigma.deletePolynomialData();
180 Print(
"cones finished: %lu cones in working list: %lu\n",
182 }
184}
std::pair< gfan::ZMatrix, gfan::ZMatrix > interiorPointsAndNormalsOfFacets(const gfan::ZCone zc, const std::set< gfan::ZVector > &exceptThesePoints, const bool onlyLowerHalfSpace)
bool isValuationTrivial() const
std::set< groebnerCone, groebnerCone_compare > groebnerCones
gfan::ZFan * groebnerFan(const tropicalStrategy currentStrategy)
std::vector< bool > checkNecessaryGroebnerFlips(const groebnerCones &groebnerFan, const groebnerCones &workingList, const gfan::ZMatrix &interiorPoints)
◆ tropicalTraversal()
◆ tropicalTraversalMinimizingFlips()
Pick an element the working list and compute interior points on its facets
For each interior point, compute the rays of the tropical star in that point
Definition at line 52 of file tropicalTraversal.cc.
53{
56 {
58 }
59
65 {
66
67
68
71
73 {
74
75
76
79 {
84 sigma.getPolynomialRing(),
85 interiorPoint,
86 sigma.getTropicalStrategy());
88
91 {
93 {
96 }
97 }
98 }
100 }
101
102 sigma.deletePolynomialData();
106 Print(
"cones finished: %lu cones in working list: %lu\n",
108 }
110}
gfan::ZMatrix interiorPointsOfFacets(const gfan::ZCone &zc, const std::set< gfan::ZVector > &exceptThese)
bool restrictToLowerHalfSpace() const
returns true, if valuation non-trivial, false otherwise
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)
std::vector< bool > checkNecessaryTropicalFlips(const groebnerCones &tropicalVariety, const groebnerCones &workingList, const gfan::ZVector &interiorPoint, const gfan::ZMatrix &normalVectors)
BOOLEAN tropicalVariety(leftv res, leftv args)