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
void pReduce(ideal I, const ring r) const
void WerrorS(const char *s)
ring getStartingRing() const
returns the polynomial ring over 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 ...
number getUniformizingParameter() const
returns the uniformizing parameter in the valuation ring
ideal getStartingIdeal() const
returns the input ideal
BOOLEAN tropicalVariety(leftv res, leftv args)
ideal idInit(int idsize, int rank)
initialise an ideal / module
const Variable & v
< [in] a sqrfree bivariate poly
implementation of the class groebnerCone
gfan::ZFan * groebnerFanOfPolynomial(poly g, ring r, bool onlyLowerHalfSpace=false)
static int idSize(const ideal id)
Count the effective size of an ideal (without the trailing allocated zero-elements) ...
groebnerCone groebnerStartingCone(const tropicalStrategy ¤tStrategy)
void pReduceInhomogeneous(poly &g, const number p, const ring r)