BOOLEAN negativeTropicalStartingPoint(leftv res, leftv args)
BOOLEAN flipConeDebug(leftv res, leftv args)
gfan::ZCone homogeneitySpace(ideal I, ring r)
BOOLEAN reduceInitiallyDebug(leftv res, leftv args)
gfan::ZFan * groebnerFan(const tropicalStrategy currentStrategy)
BOOLEAN positiveTropicalStartingPoint(leftv res, leftv args)
BOOLEAN nonPositiveTropicalStartingPoint(leftv res, leftv args)
gfan::ZFan * groebnerComplex(const tropicalStrategy currentStrategy)
BOOLEAN computeFlipDebug(leftv res, leftv args)
groebnerCone tropicalStartingCone(const tropicalStrategy ¤tStrategy)
BOOLEAN computeWitnessDebug(leftv res, leftv args)
gfan::ZCone lowerHomogeneitySpace(ideal I, ring r)
gfan::ZCone maximalGroebnerCone(const ideal &I, const ring &r)
BOOLEAN pReduceDebug(leftv res, leftv args)
BOOLEAN ppreduceInitially3(leftv res, leftv args)
BOOLEAN tropicalVariety(leftv res, leftv args)
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.
void ptNormalize(poly *gStar, const number p, const ring r)
BOOLEAN initial(leftv res, leftv args)
BOOLEAN tropicalStarDebug(leftv res, leftv args)
int(* iiAddCproc)(const char *libname, const char *procname, BOOLEAN pstatic, BOOLEAN(*func)(leftv res, leftv v))
BOOLEAN nonNegativeTropicalStartingPoint(leftv res, leftv args)