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)
#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
447 p->iiAddCproc(
"tropical.lib",
"initialInternal",
FALSE,
initial);
451
452
453}
gfan::ZFan * groebnerComplex(const tropicalStrategy currentStrategy)
gfan::ZFan * groebnerFan(const tropicalStrategy currentStrategy)
poly initial(const poly p, const ring r, const gfan::ZVector &w)
Returns the initial form of p with respect to w.
BOOLEAN tropicalVariety(leftv res, leftv args)
gfan::ZCone homogeneitySpace(ideal I, ring r)
gfan::ZCone maximalGroebnerCone(const ideal &I, const ring &r)
◆ tropicalVerboseLevel