16 if (nullVector!=
NULL)
delete nullVector;
31 if (strat->
P.t_p==
NULL)
40 bool nonTrivialSaturationToBeDone=
true;
43 nonTrivialSaturationToBeDone=
false;
45 for (
int i=gitfan_satstdSaturatingVariables.size()-1;
i>=0;
i--)
47 int li = gitfan_satstdSaturatingVariables[
i];
48 mm[li]=
si_min(mm[li],m0[li]);
49 if (mm[li]>0) nonTrivialSaturationToBeDone=
true;
52 if (nonTrivialSaturationToBeDone==
false)
break;
54 if (nonTrivialSaturationToBeDone==
true)
58 memset(&strat->
P,0,
sizeof(strat->
P));
63 for (
int i=gitfan_satstdSaturatingVariables.size()-1;
i>=0;
i--)
65 int li = gitfan_satstdSaturatingVariables[
i];
85 bool nonTrivialSaturationToBeDone=
true;
88 nonTrivialSaturationToBeDone=
false;
90 for(
int i=gitfan_satstdSaturatingVariables.size()-1;
i>=0;
i--)
92 int li = gitfan_satstdSaturatingVariables[
i];
93 mm[li]=
si_min(mm[li],m0[li]);
94 if (mm[li]>0) nonTrivialSaturationToBeDone =
true;
97 if (!nonTrivialSaturationToBeDone)
break;
99 if (nonTrivialSaturationToBeDone)
102 memset(&strat->
P,0,
sizeof(strat->
P));
107 for(
int i=gitfan_satstdSaturatingVariables.size()-1;
i>=0;
i--)
109 int li = gitfan_satstdSaturatingVariables[
i];
131 gitfan_satstdSaturatingVariables = std::vector<int>(n);
132 for (
int i=n-1;
i>=0;
i--)
133 gitfan_satstdSaturatingVariables[
i] =
i+1;
149 if (strat->
P.t_p==
NULL)
154 while ((strat->
Ll >= 0))
164 while ((strat->
Ll >= 0))
void id_DelDiv(ideal id, const ring r)
delete id[j], if LT(j) == coeff*mon*LT(i) and vice versa, i.e., delete id[i], if LT(i) == coeff*mon*L...
static int si_min(const int a, const int b)
std::vector< int > gitfan_satstdSaturatingVariables
static void p_GetExpV(poly p, int *ev, const ring r)
static short rVar(const ring r)
#define rVar(r) (r->N)
ideal kStd(ideal F, ideal Q, tHomog h, intvec **w, intvec *hilb, int syzComp, int newIdeal, intvec *vw, s_poly_proc_t sp)
ideal gfanlib_monomialabortStd_wrapper(ideal I, ring r, tHomog h=testHomog)
static poly p_Copy(poly p, const ring r)
returns a copy of p
static long p_SubExp(poly p, int v, long ee, ring r)
void deleteInL(LSet set, int *length, int j, kStrategy strat)
static BOOLEAN abort_if_monomial_sp(kStrategy strat)
ideal gfanlib_satStd_wrapper(ideal I, ring r, tHomog h=testHomog)
ideal gfanlib_kStd_wrapper(ideal I, ring r, tHomog h=testHomog)
void idSkipZeroes(ideal ide)
gives an ideal/module the minimal possible size
void rChangeCurrRing(ring r)
static BOOLEAN sat_vars_sp(kStrategy strat)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
static void p_Setm(poly p, const ring r)