24 ideal I = (ideal) u->
Data();
31 number
p = (number)
v->Data();
39 currentStrategy.
pReduce(startingIdeal,startingRing);
40 poly g = startingIdeal->m[0];
44 res->data = (
char*) zf;
47 catch (
const std::exception& ex)
59 res->data = (
char*) zf;
62 catch (
const std::exception& ex)
82 number
p = (number)
v->Data();
88 poly gg = startingIdeal->m[0];
93 res->data = (
char*) zf;
96 catch (
const std::exception& ex)
104 WerrorS(
"groebnerComplex: unexpected parameters");
Class used for (list of) interpreter objects.
gfan::ZFan * groebnerComplex(const tropicalStrategy currentStrategy)
gfan::ZFan * toFanStar(std::set< gfan::ZCone > setOfCones)
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
ring getStartingRing() const
returns the polynomial ring over the valuation ring
void WerrorS(const char *s)
number getUniformizingParameter() const
returns the uniformizing parameter in the valuation ring
groebnerCones groebnerTraversal(const groebnerCone startingCone)
static poly p_Copy(poly p, const ring r)
returns a copy of p
std::set< groebnerCone, groebnerCone_compare > groebnerCones
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
ideal getStartingIdeal() const
returns the input ideal
BOOLEAN tropicalVariety(leftv res, leftv args)
void pReduce(ideal I, const ring r) const
ideal idInit(int idsize, int rank)
initialise an ideal / module
const Variable & v
< [in] a sqrfree bivariate poly
implementation of the class groebnerCone
int idElem(const ideal F)
count non-zero elements
gfan::ZFan * groebnerFanOfPolynomial(poly g, ring r, bool onlyLowerHalfSpace=false)
groebnerCone groebnerStartingCone(const tropicalStrategy ¤tStrategy)
void pReduceInhomogeneous(poly &g, const number p, const ring r)