Changeset 1bc7201 in git for kernel/syz2.cc

Timestamp:

Oct 19, 2012, 6:38:35 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

c879eea1669e963fb4c7287a3963abb287d00a49

Parents:

b37b3984a12e1552c7bafc9fd5a7849240ea79806bbe944402dfca102dcc3e036c4f2f119be41e44

Message:

Merge pull request #192 from mmklee/algExtGCD_sw

Alg ext gcd sw

File:

• kernel/syz2.cc (modified) (8 diffs)

kernel/syz2.cc

@@ -75 +75 @@
             int actdeg)
 {
-  SSet temp;
   SObject tso;
-  poly toHandle,tsyz=NULL,p,pp;
+  poly toHandle,p,pp;
   int r1,r2=0,rr,l=(*syzstr->Tl)[index];
   int i,j,r=0,ti;
@@ -85 +84 @@
 #endif
   actdeg += index;
-  long * ShiftedComponents = syzstr->ShiftedComponents[index-1];
-  int* Components = syzstr->truecomponents[index-1];
 
   while ((l>0) && ((syzstr->resPairs[index])[l-1].lcm==NULL)) l--;
@@ -119 +116 @@
       {
         if (((syzstr->resPairs[index])[i].p!=NULL) &&
-            (pGetComp((syzstr->resPairs[index])[i].p)==tc))
+            (pGetComp((syzstr->resPairs[index])[i].p)==(unsigned)tc))
         {
 #ifdef USE_CHAINCRIT
@@ -506 +503 @@
 {
   int i,j,k=IDELEMS(syzstr->res[index]);
-  int ks=IDELEMS(syzstr->res[index+1]),kk,l,ll;
+  int ks=IDELEMS(syzstr->res[index+1]),kk;
   int ks1=IDELEMS(syzstr->orderedRes[index+1]);
   int kres=(*syzstr->Tl)[index];
   int toGo=0;
   int il;
-  number coefgcd,n;
   SSet redset=syzstr->resPairs[index];
-  poly p=NULL,q,tp;
+  poly q;
   intvec *spl1;
   SObject tso;
@@ -522 +518 @@
   int step=1,jj,j1,j2;
 #endif
-  long * ShiftedComponents = syzstr->ShiftedComponents[index];
-  int* Components = syzstr->truecomponents[index];
-  assume(Components != NULL && ShiftedComponents != NULL);
-  BOOLEAN need_reset;
+  assume((syzstr->truecomponents[index]) != NULL && (syzstr->ShiftedComponents[index]) != NULL);
 
   actord += index;
@@ -858 +851 @@
 {
   ideal res=syzstr->res[1];
-  int i=0,j,k=IDELEMS(res),k1=IDELEMS(syzstr->orderedRes[1]);
-  SSet sPairs1=syzstr->resPairs[1];
+  int i=0,k=IDELEMS(res),k1=IDELEMS(syzstr->orderedRes[1]);
   SSet sPairs=syzstr->resPairs[0];
 
@@ -964 +956 @@
 syStrategy syHilb(ideal arg,int * length)
 {
-  int i,j,actdeg=32000,index=0,reg=-1;
-  int startdeg,howmuch,toSub=0;
+  int i,j,actdeg=32000,index=0;
+  int howmuch,toSub=0;
   int maxindex=0,maxdeg=0;
   ideal temp=NULL;
@@ -1028 +1020 @@
   syzstr->bucket = kBucketCreate(currRing);
   syzstr->syz_bucket = kBucketCreate(currRing);
-  startdeg = actdeg;
   nextPairs = syChosePairs(syzstr,&index,&howmuch,&actdeg);
 /*--- computes the resolution ----------------------*/