#include <vector>
#include <Singular/libsingular.h>
Go to the source code of this file.
§ abort_if_monomial_sp()
Definition at line 145 of file std_wrapper.cc.
149 if (strat->
P.t_p==
NULL)
154 while ((strat->
Ll >= 0))
164 while ((strat->
Ll >= 0))
void deleteInL(LSet set, int *length, int j, kStrategy strat)
§ gfanlib_kStd_wrapper()
Definition at line 6 of file std_wrapper.cc.
16 if (nullVector!=
NULL)
delete nullVector;
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...
ideal kStd(ideal F, ideal Q, tHomog h, intvec **w, intvec *hilb, int syzComp, int newIdeal, intvec *vw, s_poly_proc_t sp)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
void idSkipZeroes(ideal ide)
gives an ideal/module the minimal possible size
void rChangeCurrRing(ring r)
§ gfanlib_monomialabortStd_wrapper()
ideal gfanlib_monomialabortStd_wrapper |
( |
ideal |
I, |
|
|
ring |
r, |
|
|
tHomog |
h = testHomog |
|
) |
| |
Definition at line 172 of file std_wrapper.cc.
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...
ideal kStd(ideal F, ideal Q, tHomog h, intvec **w, intvec *hilb, int syzComp, int newIdeal, intvec *vw, s_poly_proc_t sp)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
static BOOLEAN abort_if_monomial_sp(kStrategy strat)
void idSkipZeroes(ideal ide)
gives an ideal/module the minimal possible size
void rChangeCurrRing(ring r)
§ gfanlib_satStd_wrapper()
Definition at line 124 of file std_wrapper.cc.
132 for (
int i=n-1;
i>=0;
i--)
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...
std::vector< int > gitfan_satstdSaturatingVariables
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)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
void idSkipZeroes(ideal ide)
gives an ideal/module the minimal possible size
void rChangeCurrRing(ring r)
static BOOLEAN sat_vars_sp(kStrategy strat)
§ sat_vars_sp()
Definition at line 27 of file std_wrapper.cc.
31 if (strat->
P.t_p==
NULL)
40 bool nonTrivialSaturationToBeDone=
true;
43 nonTrivialSaturationToBeDone=
false;
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));
85 bool nonTrivialSaturationToBeDone=
true;
88 nonTrivialSaturationToBeDone=
false;
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));
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)
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)
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)
§ gitfan_satstdSaturatingVariables
std::vector<int> gitfan_satstdSaturatingVariables |