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);
178 inequalities.appendRow(leadexpw-tailexpw);
185 gfan::ZMatrix
equations = gfan::ZMatrix(0,n);
188 g = (poly) inI->m[
i];
198 equations.appendRow(leadexpw-tailexpw);
207 return gfan::ZCone(inequalities,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)
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
BOOLEAN inequalities(leftv res, leftv args)
gfan::ZVector intStar2ZVector(const int d, const int *i)
BOOLEAN equations(leftv res, leftv args)
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");
Class used for (list of) interpreter objects.
gfan::ZCone groebnerCone(const ideal I, const ring r, const gfan::ZVector &w)
void inpTranspose()
transpose in place
bigintmat * iv2bim(intvec *b, const coeffs C)
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
void WerrorS(const char *s)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
ideal idInit(int idsize, int rank)
initialise an ideal / module
const Variable & v
< [in] a sqrfree bivariate poly
void Werror(const char *fmt,...)
gfan::ZVector * bigintmatToZVector(const bigintmat &bim)
◆ 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);
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)
◆ 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");
Class used for (list of) interpreter objects.
gfan::ZCone homogeneitySpace(ideal I, ring r)
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
void WerrorS(const char *s)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
ideal idInit(int idsize, int rank)
initialise an ideal / module
const Variable & v
< [in] a sqrfree bivariate poly
◆ 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");
Class used for (list of) interpreter objects.
void inpTranspose()
transpose in place
bigintmat * iv2bim(intvec *b, const coeffs C)
void WerrorS(const char *s)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
const Variable & v
< [in] a sqrfree bivariate poly
BOOLEAN initial(leftv res, leftv args)
void Werror(const char *fmt,...)
gfan::ZVector * bigintmatToZVector(const bigintmat &bim)
◆ 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);
106 equations.appendRow(leadexpw-tailexpw);
112 gfan::ZVector lowerHalfSpaceCondition = gfan::ZVector(n);
113 lowerHalfSpaceCondition[0] = -1;
114 inequalities.appendRow(lowerHalfSpaceCondition);
118 return gfan::ZCone(inequalities,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)
BOOLEAN inequalities(leftv res, leftv args)
gfan::ZVector intStar2ZVector(const int d, const int *i)
BOOLEAN equations(leftv res, leftv args)
◆ 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");
Class used for (list of) interpreter objects.
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
void WerrorS(const char *s)
gfan::ZCone lowerHomogeneitySpace(ideal I, ring r)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
ideal idInit(int idsize, int rank)
initialise an ideal / module
const Variable & v
< [in] a sqrfree bivariate poly
◆ 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);
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)
◆ 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");
Class used for (list of) interpreter objects.
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
void WerrorS(const char *s)
gfan::ZCone maximalGroebnerCone(const ideal &I, const ring &r)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
ideal idInit(int idsize, int rank)
initialise an ideal / module
const Variable & v
< [in] a sqrfree bivariate poly
void Werror(const char *fmt,...)
◆ 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
VAR int tropicalVerboseLevel = 0 |