My Project
|
#include "callgfanlib_conversion.h"
#include "singularWishlist.h"
#include "tropicalDebug.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"
#include "std_wrapper.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) |
ring | createTraversalStartingRing (const ring s, const gfan::ZMatrix &startingPoints, const tropicalStrategy ¤tStrategy) |
groebnerCone | tropicalStartingCone (const tropicalStrategy ¤tStrategy) |
BOOLEAN | tropicalStartingCone (leftv res, leftv args) |
Variables | |
gfan::ZMatrix | tropicalStartingPoints |
ring createTraversalStartingRing | ( | const ring | s, |
const gfan::ZMatrix & | startingPoints, | ||
const tropicalStrategy & | currentStrategy | ||
) |
Definition at line 339 of file startingCone.cc.
groebnerCone groebnerStartingCone | ( | const tropicalStrategy & | currentStrategy | ) |
Definition at line 21 of file startingCone.cc.
Definition at line 314 of file startingCone.cc.
Definition at line 191 of file startingCone.cc.
Definition at line 156 of file startingCone.cc.
Definition at line 227 of file startingCone.cc.
Definition at line 121 of file startingCone.cc.
groebnerCone tropicalStartingCone | ( | const tropicalStrategy & | currentStrategy | ) |
Definition at line 374 of file startingCone.cc.
Definition at line 614 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 80 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 33 of file startingCone.cc.
Definition at line 263 of file startingCone.cc.
gfan::ZMatrix tropicalStartingPoints |
Definition at line 18 of file startingCone.cc.