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.
BOOLEAN monomialabortstd(leftv res, leftv args)
int(* iiAddCproc)(const char *libname, const char *procname, BOOLEAN pstatic, BOOLEAN(*func)(leftv res, leftv v))
static BOOLEAN satstd(leftv res, leftv args)
◆ monomialabortstd()
Definition at line 118 of file customstd.cc.
124 ideal I=(ideal)args->
Data();
132 WerrorS(
"monomialabortstd: unexpected parameters");
ideal kStd(ideal F, ideal Q, tHomog h, intvec **w, intvec *hilb, int syzComp, int newIdeal, intvec *vw, s_poly_proc_t sp)
void WerrorS(const char *s)
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
static BOOLEAN abort_if_monomial_sp(kStrategy strat)
◆ 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");
ideal id_Satstd(const ideal I, ideal J, const ring r)
Class used for (list of) interpreter objects.
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
void WerrorS(const char *s)
ideal id_MaxIdeal(const ring r)
initialise the maximal ideal (at 0)
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
const Variable & v
< [in] a sqrfree bivariate poly
void CleanUp(ring r=currRing)