951{
959
961 {
966 }
967
968
971
972
975
976
977#ifdef SHOW_CRIT
983#endif
988 {
991 else
994 {
997 }
998 }
1017
1019 {
1020#ifdef SHOW_PROT
1022#endif
1027 else
1031 {
1037 }
1038 else
1040
1041#ifdef SHOW_PROT
1042Print(
"Bilde neue Paare in Modul %d!\n",
index);
1043#endif
1046 {
1047#ifdef SHOW_PROT
1048Print(
"Bilde neue Paare in Modul %d!\n",
index+1);
1049#endif
1051 }
1054 }
1056#ifdef SHOW_RESULT
1057PrintS(
"minimal resolution:\n");
1059{
1061}
1062PrintS(
"full resolution:\n");
1064{
1066}
1067#endif
1068#ifdef SHOW_CRIT
1069Print(
"Criterion %d times applied\n",
crit);
1079#endif
1085 else
1089}
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 int idElem(const ideal F)
number of non-zero polys in F
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)
int syInitSyzMod(syStrategy syzstr, int index, int init=17)