Go to the source code of this file.
|
static BOOLEAN | satstd (leftv res, leftv args) |
|
static BOOLEAN | abort_if_monomial_sp (kStrategy strat) |
|
static BOOLEAN | print_spoly (kStrategy strat) |
|
static BOOLEAN | print_syz (kStrategy strat) |
|
static BOOLEAN | std_print_spoly (leftv res, leftv args) |
|
static ideal | idGroebner_print (ideal temp, int syzComp, intvec *w=NULL, tHomog hom=testHomog) |
|
static ideal | idPrepare_print (ideal h1, ideal h11, tHomog hom, int syzcomp, intvec **w) |
|
static BOOLEAN | monomialabortstd (leftv res, leftv args) |
|
int SI_MOD_INIT() | customstd (SModulFunctions *p) |
|
◆ 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 657 of file customstd.cc.
658{
659
661
663
666
668}
static BOOLEAN satstd(leftv res, leftv args)
static BOOLEAN std_print_spoly(leftv res, leftv args)
static BOOLEAN monomialabortstd(leftv res, leftv args)
◆ idGroebner_print()
Definition at line 189 of file customstd.cc.
190{
193 {
196 }
197 else
198 {
201 }
206}
static BOOLEAN print_syz(kStrategy strat)
#define idDelete(H)
delete an ideal
static BOOLEAN idHomModule(ideal m, ideal Q, intvec **w)
intvec * ivCopy(const intvec *o)
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 ...
◆ idPrepare_print()
Definition at line 208 of file customstd.cc.
209{
213
217 {
220 }
225 {
229 }
231 {
232 Warn(
"syzcomp too low, should be %d instead of %d",
k,syzcomp);
235 }
236 h2->rank = syzcomp+
i;
237
239 {
245 {
246 {
249 }
250 }
251 else
253 }
255 {
260 }
261
263 #if 0
265 PrintS(
" --------------before std------------------------\n");
269 #endif
270
275}
static int si_max(const int a, const int b)
static ideal idGroebner_print(ideal temp, int syzComp, intvec *w=NULL, tHomog hom=testHomog)
BOOLEAN idIs0(ideal h)
returns true if h is the zero ideal
void ipPrint_MA0(matrix m, const char *name)
#define pSetmComp(p)
TODO:
void PrintS(const char *s)
void rSetSyzComp(int k, const ring r)
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
matrix id_Module2Matrix(ideal mod, const ring R)
long id_RankFreeModule(ideal s, ring lmRing, ring tailRing)
return the maximal component number found in any polynomial in s
ideal id_SimpleAdd(ideal h1, ideal h2, const ring R)
concat the lists h1 and h2 without zeros
void id_Shift(ideal M, int s, const ring r)
◆ monomialabortstd()
Definition at line 459 of file customstd.cc.
460{
462 {
464 {
471 }
472 }
473 WerrorS(
"monomialabortstd: unexpected parameters");
475}
static BOOLEAN abort_if_monomial_sp(kStrategy strat)
void WerrorS(const char *s)
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 }
138}
STATIC_VAR char * si_filename
const CanonicalForm int s
char * p_String(poly p, ring lmRing, ring tailRing)
◆ print_syz()
Definition at line 141 of file customstd.cc.
142{
144 if (strat->
P.t_p==
NULL)
145 {
148 }
149 else
150 {
153 }
155 {
165 }
167}
#define pGetComp(p)
Component.
◆ satstd()
Definition at line 40 of file customstd.cc.
41{
45 {
48
52 {
54 }
55 else
56 {
58 {
60 }
61 else
62 {
64 WerrorS(
"satstd: unexpected parameters");
66 }
67 }
69
70#if 0
72 {
76 }
77 else
78#endif
79 {
82 }
87 }
88 WerrorS(
"satstd: unexpected parameters");
90}
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)
ideal id_MaxIdeal(const ring r)
initialise the maximal ideal (at 0)
◆ std_print_spoly()
Definition at line 169 of file customstd.cc.
170{
172 {
175 {
183 }
184 }
185 WerrorS(
"std_print_spoly: unexpected parameters");
187}
static BOOLEAN print_spoly(kStrategy strat)
◆ si_filename
◆ si_filenr