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)
73 poly
g = (poly) u->
Data();
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");
gfan::ZFan * toFanStar(std::set< gfan::ZCone > setOfCones)
Class used for (list of) interpreter objects.
void pReduce(ideal I, const ring r) const
ring getStartingRing() const
returns the polynomial ring over the valuation ring
ideal getStartingIdeal() const
returns the input ideal
number getUniformizingParameter() const
returns the uniformizing parameter in the valuation ring
const Variable & v
< [in] a sqrfree bivariate poly
void WerrorS(const char *s)
gfan::ZFan * groebnerComplex(const tropicalStrategy currentStrategy)
implementation of the class groebnerCone
std::set< groebnerCone, groebnerCone_compare > groebnerCones
gfan::ZFan * groebnerFanOfPolynomial(poly g, ring r, bool onlyLowerHalfSpace=false)
static poly p_Copy(poly p, const ring r)
returns a copy of p
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
void pReduceInhomogeneous(poly &g, const number p, const ring r)
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
groebnerCone groebnerStartingCone(const tropicalStrategy ¤tStrategy)
groebnerCones groebnerTraversal(const groebnerCone startingCone)
BOOLEAN tropicalVariety(leftv res, leftv args)