59 poly
g = (poly) u->
Data();
80 WerrorS(
"homogeneitySpace: unexpected parameters");
130 poly
g = (poly) u->
Data();
151 WerrorS(
"lowerHomogeneitySpace: unexpected parameters");
188 g = (poly)
inI->m[
i];
221 poly
g = (poly) u->
Data();
245 catch (
const std::exception&
ex)
279 catch (
const std::exception&
ex)
286 WerrorS(
"groebnerCone: unexpected parameters");
333 poly
g = (poly) u->
Data();
342 catch (
const std::exception&
ex)
361 catch (
const std::exception&
ex)
368 WerrorS(
"maximalGroebnerCone: unexpected parameters");
381 poly
p = (poly) u->
Data();
429 catch (
const std::exception&
ex)
436 WerrorS(
"initial: unexpected parameters");
447 p->iiAddCproc(
"tropical.lib",
"initialInternal",
FALSE,
initial);
BOOLEAN equations(leftv res, leftv args)
BOOLEAN inequalities(leftv res, leftv args)
bigintmat * iv2bim(intvec *b, const coeffs C)
gfan::ZVector intStar2ZVector(const int d, const int *i)
gfan::ZVector * bigintmatToZVector(const bigintmat &bim)
Class used for (list of) interpreter objects.
Coefficient rings, fields and other domains suitable for Singular polynomials.
const Variable & v
< [in] a sqrfree bivariate poly
void WerrorS(const char *s)
gfan::ZFan * groebnerComplex(const tropicalStrategy currentStrategy)
gfan::ZFan * groebnerFan(const tropicalStrategy currentStrategy)
#define omFreeSize(addr, size)
static void p_GetExpV(poly p, int *ev, const ring r)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
void Werror(const char *fmt,...)
static short rVar(const ring r)
#define rVar(r) (r->N)
ideal idInit(int idsize, int rank)
initialise an ideal / module
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
implementation of the class tropicalStrategy
BOOLEAN tropicalVariety(leftv res, leftv args)
void tropical_setup(SModulFunctions *p)
gfan::ZCone homogeneitySpace(ideal I, ring r)
gfan::ZCone maximalGroebnerCone(const ideal &I, const ring &r)
gfan::ZCone lowerHomogeneitySpace(ideal I, ring r)
VAR int tropicalVerboseLevel
BOOLEAN initial(leftv res, leftv args)