954 int maxindex=0,maxdeg=0;
989 if (origR != syzstr->
syRing)
992 temp->m[
i] =
pCopy( arg->m[
i]);
993 if (temp->m[
i]!=
NULL)
996 if (
j<actdeg) actdeg =
j;
1018 while (nextPairs!=
NULL)
1021 Print(
"compute %d Paare im Module %d im Grad %d \n",howmuch,
index,actdeg+
index);
1042 Print(
"Bilde neue Paare in Modul %d!\n",
index);
1048 Print(
"Bilde neue Paare in Modul %d!\n",
index+1);
1057 PrintS(
"minimal resolution:\n");
1058 for (
int ti=1;ti<=*
length;ti++)
1062 PrintS(
"full resolution:\n");
1063 for (
int ti=1;ti<=*
length;ti++)
1069 Print(
"Criterion %d times applied\n",crit);
1070 Print(
"Criterion1 %d times applied\n",crit1);
1071 Print(
"%d superfluous pairs\n",spfl);
1072 Print(
"%d pairs considered\n",cons_pairs);
1073 Print(
"Criterion fails %d times\n",crit_fails);
1083 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)
int idElem(const ideal F)
count non-zero elements
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)
EXTERN_VAR long * currShiftedComponents
EXTERN_VAR int * currcomponents
SSet syChosePairs(syStrategy syzstr, int *index, int *howmuch, int *actdeg)
long ** ShiftedComponents
int syInitSyzMod(syStrategy syzstr, int index, int init=17)