45 ideal I=(ideal)u->
Data();
58 J = (ideal)
v->Data();
63 WerrorS(
"satstd: unexpected parameters");
73 res->data = (
char*) idealCache;
87 WerrorS(
"satstd: unexpected parameters");
95 if (strat->
P.t_p==
NULL)
100 while ((strat->
Ll >= 0))
110 while ((strat->
Ll >= 0))
124 ideal I=(ideal)args->
Data();
132 WerrorS(
"monomialabortstd: unexpected parameters");
Class used for (list of) interpreter objects.
void CleanUp(ring r=currRing)
static BOOLEAN satstd(leftv res, leftv args)
static BOOLEAN abort_if_monomial_sp(kStrategy strat)
int SI_MOD_INIT() customstd(SModulFunctions *p)
BOOLEAN monomialabortstd(leftv res, leftv args)
const Variable & v
< [in] a sqrfree bivariate poly
void WerrorS(const char *s)
ideal id_Satstd(const ideal I, ideal J, const ring r)
ideal kStd(ideal F, ideal Q, tHomog h, intvec **w, intvec *hilb, int syzComp, int newIdeal, intvec *vw, s_poly_proc_t sp)
void deleteInL(LSet set, int *length, int j, kStrategy strat)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
ideal id_MaxIdeal(const ring r)
initialise the maximal ideal (at 0)
void idSkipZeroes(ideal ide)
gives an ideal/module the minimal possible size