Go to the source code of this file.
◆ abort_if_monomial_sp()
Definition at line 91 of file customstd.cc.
92{
94
95 if (strat->
P.t_p==
NULL)
96 {
99 {
100 while ((strat->
Ll >= 0))
103 }
104 }
105 else
106 {
109 {
110 while ((strat->
Ll >= 0))
113 }
114 }
116}
void deleteInL(LSet set, int *length, int j, kStrategy strat)
◆ customstd()
Definition at line 316 of file customstd.cc.
317{
318
320
322
324}
static BOOLEAN satstd(leftv res, leftv args)
BOOLEAN monomialabortstd(leftv res, leftv args)
◆ monomialabortstd()
Definition at line 118 of file customstd.cc.
119{
121 {
123 {
124 ideal I=(ideal)args->
Data();
130 }
131 }
132 WerrorS(
"monomialabortstd: unexpected parameters");
134}
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.
40{
44 {
45 ideal I=(ideal)u->
Data();
47
49 ideal J;
51 {
53 }
54 else
55 {
57 {
58 J = (ideal)
v->Data();
59 }
60 else
61 {
63 WerrorS(
"satstd: unexpected parameters");
65 }
66 }
68
69#if 0
70 if (idealCache)
71 {
73 res->data = (
char*) idealCache;
75 }
76 else
77#endif
78 {
81 }
86 }
87 WerrorS(
"satstd: unexpected parameters");
89}
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)