 |
My Project
debian-1:4.1.1-p2+ds-4
|
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
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
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
groebnerCone groebnerStartingCone(const tropicalStrategy ¤tStrategy)
BOOLEAN tropicalVariety(leftv res, leftv args)
ideal getStartingIdeal() const
returns the input ideal