Go to the source code of this file.
◆ gfanlib_kStd_wrapper()
Definition at line 6 of file std_wrapper.cc.
7{
9 if (origin != r)
11
16 if (nullVector!=
NULL)
delete nullVector;
17
18 if (origin != r)
20
21 return stdI;
22}
ideal kStd(ideal F, ideal Q, tHomog h, intvec **w, intvec *hilb, int syzComp, int newIdeal, intvec *vw, s_poly_proc_t sp)
void rChangeCurrRing(ring r)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
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...
void idSkipZeroes(ideal ide)
gives an ideal/module the minimal possible size
◆ gfanlib_monomialabortStd_wrapper()
ideal gfanlib_monomialabortStd_wrapper |
( |
ideal |
I, |
|
|
ring |
r, |
|
|
tHomog |
h = testHomog |
|
) |
| |
Definition at line 172 of file std_wrapper.cc.
173{
175 if (origin != r)
177
181
182 if (origin != r)
184
185 return stdI;
186}
static BOOLEAN abort_if_monomial_sp(kStrategy strat)
◆ gfanlib_satStd_wrapper()
Definition at line 124 of file std_wrapper.cc.
125{
127 if (origin != r)
129
132 for (
int i=n-1;
i>=0;
i--)
134
138
139 if (origin != r)
141
142 return stdI;
143}
static short rVar(const ring r)
#define rVar(r) (r->N)
std::vector< int > gitfan_satstdSaturatingVariables
static BOOLEAN sat_vars_sp(kStrategy strat)