Go to the source code of this file.
◆ 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)
VAR 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)
VAR 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)
VAR 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)