 |
My Project
UNKNOWN_GIT_VERSION
|
Go to the documentation of this file.
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");
static BOOLEAN abort_if_monomial_sp(kStrategy strat)
BOOLEAN monomialabortstd(leftv res, leftv args)
static BOOLEAN satstd(leftv res, leftv args)
int SI_MOD_INIT() customstd(SModulFunctions *p)
ideal id_MaxIdeal(const ring r)
initialise the maximal ideal (at 0)
Class used for (list of) interpreter objects.
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
void idSkipZeroes(ideal ide)
gives an ideal/module the minimal possible size
void CleanUp(ring r=currRing)
void WerrorS(const char *s)
const Variable & v
< [in] a sqrfree bivariate poly
void deleteInL(LSet set, int *length, int j, kStrategy strat)
ideal kStd(ideal F, ideal Q, tHomog h, intvec **w, intvec *hilb, int syzComp, int newIdeal, intvec *vw, s_poly_proc_t sp)
ideal id_Satstd(const ideal I, ideal J, const ring r)