![]() |
#include <callgfanlib_conversion.h>
#include <containsMonomial.h>
#include <tropical.h>
#include <initial.h>
#include <lift.h>
#include <groebnerCone.h>
#include <tropicalStrategy.h>
#include <tropicalCurves.h>
#include <bbcone.h>
#include <tropicalVarietyOfPolynomials.h>
#include <tropicalVariety.h>
Go to the source code of this file.
Functions | |
groebnerCone | groebnerStartingCone (const tropicalStrategy ¤tStrategy) |
std::pair< gfan::ZVector, groebnerCone > | tropicalStartingPoint (const ideal I, const ring r, const tropicalStrategy ¤tStrategy) |
Computes a starting point outside the lineatliy space by traversing the Groebner fan, checking each cone whether it contains a ray in the tropical variety. More... | |
std::pair< gfan::ZVector, groebnerCone > | tropicalStartingDataViaGroebnerFan (const ideal I, const ring r, const tropicalStrategy ¤tStrategy) |
Computes a starting point outside the lineatliy space by traversing the Groebner fan, checking each cone whether it contains a ray in the tropical variety. More... | |
BOOLEAN | positiveTropicalStartingPoint (leftv res, leftv args) |
BOOLEAN | nonNegativeTropicalStartingPoint (leftv res, leftv args) |
BOOLEAN | negativeTropicalStartingPoint (leftv res, leftv args) |
BOOLEAN | nonPositiveTropicalStartingPoint (leftv res, leftv args) |
BOOLEAN | tropicalStartingPoint (leftv res, leftv args) |
static gfan::ZCone | linealitySpaceOfGroebnerFan (const ideal I, const ring r) |
groebnerCone | tropicalStartingCone (const tropicalStrategy ¤tStrategy) |
BOOLEAN | tropicalStartingCone (leftv res, leftv args) |
groebnerCone groebnerStartingCone | ( | const tropicalStrategy & | currentStrategy | ) |
Definition at line 15 of file startingCone.cc.
Definition at line 308 of file startingCone.cc.
Definition at line 185 of file startingCone.cc.
Definition at line 150 of file startingCone.cc.
Definition at line 221 of file startingCone.cc.
Definition at line 115 of file startingCone.cc.
groebnerCone tropicalStartingCone | ( | const tropicalStrategy & | currentStrategy | ) |
Definition at line 335 of file startingCone.cc.
Definition at line 540 of file startingCone.cc.
std::pair<gfan::ZVector,groebnerCone> tropicalStartingDataViaGroebnerFan | ( | const ideal | I, |
const ring | r, | ||
const tropicalStrategy & | currentStrategy | ||
) |
Computes a starting point outside the lineatliy space by traversing the Groebner fan, checking each cone whether it contains a ray in the tropical variety.
Returns a point in the tropical variety and a maximal Groebner cone containing the point.
Definition at line 74 of file startingCone.cc.
std::pair<gfan::ZVector,groebnerCone> tropicalStartingPoint | ( | const ideal | I, |
const ring | r, | ||
const tropicalStrategy & | currentStrategy | ||
) |
Computes a starting point outside the lineatliy space by traversing the Groebner fan, checking each cone whether it contains a ray in the tropical variety.
Returns a point in the tropical variety and a maximal Groebner cone containing the point.
Definition at line 27 of file startingCone.cc.
Definition at line 257 of file startingCone.cc.