 |
My Project
debian-1:4.1.2-p1+ds-2
|
Go to the documentation of this file.
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");
void pReduce(ideal I, const ring r) const
int idElem(const ideal F)
count non-zero elements
void pReduceInhomogeneous(poly &g, const number p, const ring r)
std::set< groebnerCone, groebnerCone_compare > groebnerCones
gfan::ZFan * toFanStar(std::set< gfan::ZCone > setOfCones)
Class used for (list of) interpreter objects.
gfan::ZFan * groebnerComplex(const tropicalStrategy currentStrategy)
static poly p_Copy(poly p, const ring r)
returns a copy of p
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
gfan::ZFan * groebnerFanOfPolynomial(poly g, ring r, bool onlyLowerHalfSpace=false)
groebnerCones groebnerTraversal(const groebnerCone startingCone)
ring getStartingRing() const
returns the polynomial ring over the valuation ring
ideal idInit(int idsize, int rank)
initialise an ideal / module
void WerrorS(const char *s)
const Variable & v
< [in] a sqrfree bivariate poly
number getUniformizingParameter() const
returns the uniformizing parameter in the valuation ring
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
groebnerCone groebnerStartingCone(const tropicalStrategy ¤tStrategy)
BOOLEAN tropicalVariety(leftv res, leftv args)
ideal getStartingIdeal() const
returns the input ideal