Go to the source code of this file.
◆ gfanlib_kStd_wrapper()
Definition at line 6 of file std_wrapper.cc.
7{
11
17
20
22}
ideal kStd2(ideal F, ideal Q, tHomog h, intvec **w, bigintmat *hilb, int syzComp, int newIdeal, intvec *vw, s_poly_proc_t sp)
generic interface to GB/SB computations, large hilbert vectors
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()
Definition at line 172 of file std_wrapper.cc.
173{
177
181
184
186}
static BOOLEAN abort_if_monomial_sp(kStrategy strat)
◆ gfanlib_satStd_wrapper()
Definition at line 124 of file std_wrapper.cc.
125{
129
132 for (
int i=n-1;
i>=0;
i--)
134
138
141
143}
static short rVar(const ring r)
#define rVar(r) (r->N)
std::vector< int > gitfan_satstdSaturatingVariables
static BOOLEAN sat_vars_sp(kStrategy strat)