Go to the source code of this file.
◆ homogeneitySpace()
gfan::ZCone homogeneitySpace |
( |
ideal |
I, |
|
|
ring |
r |
|
) |
| |
Definition at line 19 of file tropical.cc.
20{
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);
29 {
32 {
37 {
42 }
43 }
44 }
48}
BOOLEAN equations(leftv res, leftv args)
gfan::ZVector intStar2ZVector(const int d, const int *i)
if(!FE_OPT_NO_SHELL_FLAG)(void) system(sys)
#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()
gfan::ZCone maximalGroebnerCone |
( |
const ideal & |
I, |
|
|
const ring & |
r |
|
) |
| |
Definition at line 291 of file tropical.cc.
292{
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);
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