11#include "gfanlib/gfanlib_zfan.h"
34static gfan::ZFan*
toZFan(std::set<gfan::ZCone> maxCones,
int d)
36 gfan::ZFan* zf =
new gfan::ZFan(d);
37 for (std::set<gfan::ZCone>::iterator sigma = maxCones.begin(); sigma!=maxCones.end(); sigma++)
48 poly
g = (poly) u->
Data();
64 catch (
const std::exception& ex)
66 Werror(
"ERROR: %s",ex.what());
76 number
p = (number)
v->Data();
80 poly gStart = startingIdeal->m[0];
81 std::set<gfan::ZCone> maxCones =
tropicalVariety(gStart,startingRing,¤tStrategy);
88 catch (
const std::exception& ex)
90 Werror(
"ERROR: %s",ex.what());
98 ideal I = (ideal) u->
Data();
114 catch (
const std::exception& ex)
116 Werror(
"ERROR: %s",ex.what());
124 number
p = (number)
v->Data();
128 poly gStart = startingIdeal->m[0];
129 std::set<gfan::ZCone> maxCones =
tropicalVariety(gStart,startingRing,¤tStrategy);
134 catch (
const std::exception& ex)
136 Werror(
"ERROR: %s",ex.what());
155 res->data = (
char*) tropI;
160 catch (
const std::exception& ex)
162 Werror(
"ERROR: %s",ex.what());
170 number
p = (number)
v->Data();
179 res->data = (
char*) tropI;
183 catch (
const std::exception& ex)
185 Werror(
"ERROR: %s",ex.what());
191 WerrorS(
"tropicalVariety: unexpected parameters");
Class used for (list of) interpreter objects.
ring getStartingRing() const
returns the polynomial ring over the valuation ring
ideal getStartingIdeal() const
returns the input ideal
int getExpectedAmbientDimension() const
const Variable & v
< [in] a sqrfree bivariate poly
void WerrorS(const char *s)
implementation of the class groebnerCone
ideal id_Copy(ideal h1, const ring r)
copy an ideal
#define SI_SAVE_OPT(A, B)
#define SI_RESTORE_OPT(A, B)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
void Werror(const char *fmt,...)
ideal idInit(int idsize, int rank)
initialise an ideal / module
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
static int idElem(const ideal F)
number of non-zero polys in F
ideal gfanlib_kStd_wrapper(ideal I, ring r, tHomog h=testHomog)
static void setOptionRedSB()
BOOLEAN tropicalVariety(leftv res, leftv args)
static void undoSetOptionRedSB()
static gfan::ZFan * toZFan(std::set< gfan::ZCone > maxCones, int d)