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
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)
#define pGetExpV(p, e)
Gets a copy of (resp. set) the exponent vector, where e is assumed to point to (r->N +1)*sizeof(long)...
BOOLEAN initial(leftv res, leftv args)
§ groebnerCone() [2/2]
Definition at line 211 of file tropical.cc.
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)
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.
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)
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.
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)
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.
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)
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.
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)
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
int tropicalVerboseLevel = 0 |