 |
My Project
debian-1:4.1.2-p1+ds-2
|
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.
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
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
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)