956 int maxindex=0,maxdeg=0;
991 if (origR != syzstr->
syRing)
994 temp->m[
i] =
pCopy( arg->m[
i]);
995 if (temp->m[
i]!=
NULL)
998 if (
j<actdeg) actdeg =
j;
1020 while (nextPairs!=
NULL)
1023 Print(
"compute %d Paare im Module %d im Grad %d \n",howmuch,
index,actdeg+
index);
1044 Print(
"Bilde neue Paare in Modul %d!\n",
index);
1050 Print(
"Bilde neue Paare in Modul %d!\n",
index+1);
1059 PrintS(
"minimal resolution:\n");
1060 for (
int ti=1;ti<=*
length;ti++)
1064 PrintS(
"full resolution:\n");
1065 for (
int ti=1;ti<=*
length;ti++)
1071 Print(
"Criterion %d times applied\n",crit);
1072 Print(
"Criterion1 %d times applied\n",crit1);
1073 Print(
"%d superfluous pairs\n",spfl);
1074 Print(
"%d pairs considered\n",cons_pairs);
1075 Print(
"Criterion fails %d times\n",crit_fails);
1085 if (origR != syzstr->
syRing)
BOOLEAN idIs0(ideal h)
returns true if h is the zero ideal
static BOOLEAN length(leftv result, leftv arg)
void kBucketDestroy(kBucket_pt *bucket_pt)
kBucket_pt kBucketCreate(const ring bucket_ring)
Creation/Destruction of buckets.
void rChangeCurrRing(ring r)
poly prCopyR(poly p, ring src_r, ring dest_r)
ring rAssure_dp_C(const ring r)
long id_RankFreeModule(ideal s, ring lmRing, ring tailRing)
return the maximal component number found in any polynomial in s
void idSkipZeroes(ideal ide)
gives an ideal/module the minimal possible size
static void syCreateNewPairs_Hilb(syStrategy syzstr, int index, int actdeg)
static void syRedGenerOfCurrDeg_Hilb(syStrategy syzstr, int deg, int *maxindex, int *maxdeg)
void sySetNewHilb(syStrategy syzstr, int toSub, int index, int actord)
static void syReOrdResult_Hilb(syStrategy syzstr, int maxindex, int maxdeg)
static void syRedNextPairs_Hilb(SSet nextPairs, syStrategy syzstr, int howmuch, int index, int actord, int *toSub, int *maxindex, int *maxdeg)
void syCompactifyPairSet(SSet sPairs, int sPlength, int first)
SRes syInitRes(ideal arg, int *length, intvec *Tl, intvec *cw=NULL)
long * currShiftedComponents
SSet syChosePairs(syStrategy syzstr, int *index, int *howmuch, int *actdeg)
long ** ShiftedComponents
int syInitSyzMod(syStrategy syzstr, int index, int init=17)