Go to the source code of this file.
◆ abort_if_monomial_sp()
Definition at line 92 of file customstd.cc.
93{
95
96 if (strat->
P.t_p==
NULL)
97 {
100 {
101 while ((strat->
Ll >= 0))
104 }
105 }
106 else
107 {
110 {
111 while ((strat->
Ll >= 0))
114 }
115 }
117}
void deleteInL(LSet set, int *length, int j, kStrategy strat)
◆ customstd()
Definition at line 662 of file customstd.cc.
663{
664
665 p->iiAddCproc(
"customstd.lib",
"satstdInternal",
FALSE,
satstd);
666
668
671
673}
static BOOLEAN satstd(leftv res, leftv args)
static BOOLEAN std_print_spoly(leftv res, leftv args)
static BOOLEAN monomialabortstd(leftv res, leftv args)
◆ monomialabortstd()
Definition at line 464 of file customstd.cc.
465{
467 {
469 {
470 ideal I=(ideal)args->
Data();
476 }
477 }
478 WerrorS(
"monomialabortstd: unexpected parameters");
480}
static BOOLEAN abort_if_monomial_sp(kStrategy strat)
void WerrorS(const char *s)
ideal kStd2(ideal F, ideal Q, tHomog h, intvec **w, bigintmat *hilb, int syzComp, int newIdeal, intvec *vw, s_poly_proc_t sp)
generic interface to GB/SB computations, large hilbert vectors
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
◆ print_spoly()
Definition at line 120 of file customstd.cc.
121{
123 if (strat->
P.t_p==
NULL)
124 {
126 }
127 else
128 {
131 }
133 fwrite(
s,strlen(
s),1,
f);
138}
STATIC_VAR char * si_filename
const CanonicalForm int s
char * p_String(poly p, ring lmRing, ring tailRing)
◆ satstd()
Definition at line 40 of file customstd.cc.
41{
45 {
46 ideal I=(ideal)u->
Data();
48
50 ideal J;
52 {
54 }
55 else
56 {
58 {
59 J = (ideal)
v->Data();
60 }
61 else
62 {
64 WerrorS(
"satstd: unexpected parameters");
66 }
67 }
69
70#if 0
71 if (idealCache)
72 {
74 res->data = (
char*) idealCache;
76 }
77 else
78#endif
79 {
82 }
87 }
88 WerrorS(
"satstd: unexpected parameters");
90}
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)
◆ std_print_spoly()
Definition at line 170 of file customstd.cc.
171{
173 {
176 {
178 ideal I=(ideal)args->
Data();
184 }
185 }
186 WerrorS(
"std_print_spoly: unexpected parameters");
188}
static BOOLEAN print_spoly(kStrategy strat)
◆ si_filename