11#include "gfanlib/gfanlib_zfan.h"
48 poly
g = (poly) u->
Data();
64 catch (
const std::exception&
ex)
80 poly
gStart = startingIdeal->m[0];
88 catch (
const std::exception&
ex)
114 catch (
const std::exception&
ex)
128 poly
gStart = startingIdeal->m[0];
134 catch (
const std::exception&
ex)
160 catch (
const std::exception&
ex)
183 catch (
const std::exception&
ex)
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)