Go to the source code of this file.
|
gfan::ZCone | homogeneitySpace (ideal I, ring r) |
|
BOOLEAN | homogeneitySpace (leftv res, leftv args) |
|
gfan::ZCone | lowerHomogeneitySpace (ideal I, ring r) |
|
BOOLEAN | lowerHomogeneitySpace (leftv res, leftv args) |
|
gfan::ZCone | groebnerCone (const ideal I, const ring r, const gfan::ZVector &w) |
|
BOOLEAN | groebnerCone (leftv res, leftv args) |
|
gfan::ZCone | maximalGroebnerCone (const ideal &I, const ring &r) |
|
BOOLEAN | maximalGroebnerCone (leftv res, leftv args) |
|
BOOLEAN | initial (leftv res, leftv args) |
|
void | tropical_setup (SModulFunctions *p) |
|
◆ groebnerCone() [1/2]
Definition at line 156 of file tropical.cc.
160 int* leadexpv = (
int*)
omAlloc((n+1)*
sizeof(int));
161 int* tailexpv = (
int*)
omAlloc((n+1)*
sizeof(int));
162 gfan::ZVector leadexpw = gfan::ZVector(n);
163 gfan::ZVector tailexpw = gfan::ZVector(n);
185 gfan::ZMatrix
equations = gfan::ZMatrix(0,n);
188 g = (poly) inI->m[
i];
BOOLEAN equations(leftv res, leftv args)
BOOLEAN inequalities(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)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
static short rVar(const ring r)
#define rVar(r) (r->N)
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
BOOLEAN initial(leftv res, leftv args)
◆ groebnerCone() [2/2]
Definition at line 211 of file tropical.cc.
221 poly
g = (poly) u->
Data();
224 gfan::ZVector* weightVector;
245 catch (
const std::exception& ex)
247 Werror(
"ERROR: %s",ex.what());
259 ideal I = (ideal) u->
Data();
260 gfan::ZVector* weightVector;
279 catch (
const std::exception& ex)
281 Werror(
"ERROR: %s",ex.what());
286 WerrorS(
"groebnerCone: unexpected parameters");
bigintmat * iv2bim(intvec *b, const coeffs C)
gfan::ZVector * bigintmatToZVector(const bigintmat &bim)
void inpTranspose()
transpose in place
Class used for (list of) interpreter objects.
const Variable & v
< [in] a sqrfree bivariate poly
void WerrorS(const char *s)
void Werror(const char *fmt,...)
ideal idInit(int idsize, int rank)
initialise an ideal / module
gfan::ZCone groebnerCone(const ideal I, const ring r, const gfan::ZVector &w)
◆ homogeneitySpace() [1/2]
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);
◆ homogeneitySpace() [2/2]
Definition at line 51 of file tropical.cc.
59 poly
g = (poly) u->
Data();
74 ideal I = (ideal) u->
Data();
80 WerrorS(
"homogeneitySpace: unexpected parameters");
gfan::ZCone homogeneitySpace(ideal I, ring r)
◆ initial()
Definition at line 373 of file tropical.cc.
381 poly
p = (poly) u->
Data();
382 gfan::ZVector* weightVector;
409 ideal I = (ideal) u->
Data();
410 gfan::ZVector* weightVector;
429 catch (
const std::exception& ex)
431 Werror(
"ERROR: %s",ex.what());
436 WerrorS(
"initial: unexpected parameters");
◆ lowerHomogeneitySpace() [1/2]
gfan::ZCone lowerHomogeneitySpace |
( |
ideal |
I, |
|
|
ring |
r |
|
) |
| |
Definition at line 85 of file tropical.cc.
89 int* leadexpv = (
int*)
omAlloc((n+1)*
sizeof(int));
90 int* tailexpv = (
int*)
omAlloc((n+1)*
sizeof(int));
91 gfan::ZVector leadexpw = gfan::ZVector(n);
92 gfan::ZVector tailexpw = gfan::ZVector(n);
93 gfan::ZMatrix
equations = gfan::ZMatrix(0,n);
112 gfan::ZVector lowerHalfSpaceCondition = gfan::ZVector(n);
113 lowerHalfSpaceCondition[0] = -1;
◆ lowerHomogeneitySpace() [2/2]
Definition at line 122 of file tropical.cc.
130 poly
g = (poly) u->
Data();
145 ideal I = (ideal) u->
Data();
151 WerrorS(
"lowerHomogeneitySpace: unexpected parameters");
gfan::ZCone lowerHomogeneitySpace(ideal I, ring r)
◆ maximalGroebnerCone() [1/2]
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);
◆ maximalGroebnerCone() [2/2]
Definition at line 323 of file tropical.cc.
333 poly
g = (poly) u->
Data();
342 catch (
const std::exception& ex)
344 Werror(
"ERROR: %s",ex.what());
356 ideal I = (ideal) u->
Data();
361 catch (
const std::exception& ex)
363 Werror(
"ERROR: %s",ex.what());
368 WerrorS(
"maximalGroebnerCone: unexpected parameters");
gfan::ZCone maximalGroebnerCone(const ideal &I, const ring &r)
◆ tropical_setup()
Definition at line 441 of file tropical.cc.
gfan::ZFan * groebnerComplex(const tropicalStrategy currentStrategy)
gfan::ZFan * groebnerFan(const tropicalStrategy currentStrategy)
BOOLEAN tropicalVariety(leftv res, leftv args)
◆ tropicalVerboseLevel
int tropicalVerboseLevel = 0 |