Go to the source code of this file.
◆ abort_if_monomial_sp()
Definition at line 91 of file customstd.cc.
95 if (strat->
P.t_p==
NULL)
100 while ((strat->
Ll >= 0))
110 while ((strat->
Ll >= 0))
void deleteInL(LSet set, int *length, int j, kStrategy strat)
◆ customstd()
Definition at line 316 of file customstd.cc.
static BOOLEAN satstd(leftv res, leftv args)
BOOLEAN monomialabortstd(leftv res, leftv args)
◆ monomialabortstd()
Definition at line 118 of file customstd.cc.
124 ideal I=(ideal)args->
Data();
132 WerrorS(
"monomialabortstd: unexpected parameters");
static BOOLEAN abort_if_monomial_sp(kStrategy strat)
void WerrorS(const char *s)
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
◆ satstd()
Definition at line 39 of file customstd.cc.
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");
Class used for (list of) interpreter objects.
void CleanUp(ring r=currRing)
const Variable & v
< [in] a sqrfree bivariate poly
ideal id_Satstd(const ideal I, ideal J, const ring r)
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
ideal id_MaxIdeal(const ring r)
initialise the maximal ideal (at 0)