Go to the source code of this file.
§ homogeneitySpace()
gfan::ZCone homogeneitySpace |
( |
ideal |
I, |
|
|
ring |
r |
|
) |
| |
Definition at line 19 of file tropical.cc.
23 int* leadexpv = (
int*)
omAlloc((n+1)*
sizeof(int));
24 int* tailexpv = (
int*)
omAlloc((n+1)*
sizeof(int));
25 gfan::ZVector leadexpw = gfan::ZVector(n);
26 gfan::ZVector tailexpw = gfan::ZVector(n);
27 gfan::ZMatrix
equations = gfan::ZMatrix(0,n);
40 equations.appendRow(leadexpw-tailexpw);
47 return gfan::ZCone(gfan::ZMatrix(0, equations.getWidth()),equations);
static void p_GetExpV(poly p, int *ev, const ring r)
#define omFreeSize(addr, size)
static short rVar(const ring r)
#define rVar(r) (r->N)
gfan::ZVector intStar2ZVector(const int d, const int *i)
BOOLEAN equations(leftv res, leftv args)
§ maximalGroebnerCone()
gfan::ZCone maximalGroebnerCone |
( |
const ideal & |
I, |
|
|
const ring & |
r |
|
) |
| |
Definition at line 291 of file tropical.cc.
295 int* leadexpv = (
int*)
omAlloc((n+1)*
sizeof(int));
296 int* tailexpv = (
int*)
omAlloc((n+1)*
sizeof(int));
297 gfan::ZVector leadexpw = gfan::ZVector(n);
298 gfan::ZVector tailexpw = gfan::ZVector(n);
312 inequalities.appendRow(leadexpw-tailexpw);
319 return gfan::ZCone(inequalities,gfan::ZMatrix(0, inequalities.getWidth()));
static void p_GetExpV(poly p, int *ev, const ring r)
#define omFreeSize(addr, size)
static short rVar(const ring r)
#define rVar(r) (r->N)
BOOLEAN inequalities(leftv res, leftv args)
gfan::ZVector intStar2ZVector(const int d, const int *i)
§ tropical_setup()
Definition at line 441 of file tropical.cc.
gfan::ZCone homogeneitySpace(ideal I, ring r)
gfan::ZFan * groebnerFan(const tropicalStrategy currentStrategy)
gfan::ZFan * groebnerComplex(const tropicalStrategy currentStrategy)
gfan::ZCone maximalGroebnerCone(const ideal &I, const ring &r)
BOOLEAN tropicalVariety(leftv res, leftv args)
BOOLEAN initial(leftv res, leftv args)
int(* iiAddCproc)(const char *libname, const char *procname, BOOLEAN pstatic, BOOLEAN(*func)(leftv res, leftv v))
§ tropicalVerboseLevel