20{
23 {
24 ideal I = (ideal) u->
Data();
27 {
30 {
31 number
p = (number)
v->Data();
34 {
35 try
36 {
37 ideal startingIdeal = currentStrategy.getStartingIdeal();
38 ring startingRing = currentStrategy.getStartingRing();
39 currentStrategy.pReduce(startingIdeal,startingRing);
40 poly
g = startingIdeal->m[0];
44 res->data = (
char*) zf;
46 }
47 catch (const std::exception& ex)
48 {
51 }
52 }
53 else
54 {
55 try
56 {
59 res->data = (
char*) zf;
61 }
62 catch (const std::exception& ex)
63 {
66 }
67 }
68 }
69 }
70 }
72 {
73 poly
g = (poly) u->
Data();
76 {
79 {
80 try
81 {
82 number
p = (number)
v->Data();
86 ideal startingIdeal = currentStrategy.getStartingIdeal();
87 ring startingRing = currentStrategy.getStartingRing();
88 poly gg = startingIdeal->m[0];
93 res->data = (
char*) zf;
95 }
96 catch (const std::exception& ex)
97 {
100 }
101 }
102 }
103 }
104 WerrorS(
"groebnerComplex: unexpected parameters");
106}
Class used for (list of) interpreter objects.
const Variable & v
< [in] a sqrfree bivariate poly
void WerrorS(const char *s)
gfan::ZFan * groebnerComplex(const tropicalStrategy currentStrategy)
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