Go to the source code of this file.
◆ homogeneitySpace()
Definition at line 19 of file tropical.cc.
20{
29 {
32 {
37 {
42 }
43 }
44 }
48}
BOOLEAN equations(leftv res, leftv args)
gfan::ZVector intStar2ZVector(const int d, const int *i)
#define omFreeSize(addr, size)
static void p_GetExpV(poly p, int *ev, const ring r)
static short rVar(const ring r)
#define rVar(r) (r->N)
◆ maximalGroebnerCone()
Definition at line 291 of file tropical.cc.
292{
301 {
304 {
309 {
314 }
315 }
316 }
320}
BOOLEAN inequalities(leftv res, leftv args)
◆ tropical_setup()
Definition at line 441 of file tropical.cc.
442{
446
451
452
453}
gfan::ZFan * groebnerComplex(const tropicalStrategy currentStrategy)
gfan::ZFan * groebnerFan(const tropicalStrategy currentStrategy)
BOOLEAN tropicalVariety(leftv res, leftv args)
gfan::ZCone homogeneitySpace(ideal I, ring r)
gfan::ZCone maximalGroebnerCone(const ideal &I, const ring &r)
BOOLEAN initial(leftv res, leftv args)
◆ tropicalVerboseLevel