Changeset a9c298 in git for kernel/syz2.cc

Timestamp:

Nov 20, 2013, 4:54:25 PM (10 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

0de0509972719531e2a4b51ec9fd0e44a66fd2fd

Parents:

e4014563a82388c4b39dfa37db24cbe159b24a35

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2013-11-20 16:54:25+01:00

git-committer:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2013-11-20 16:54:42+01:00

Message:

format stuff

File:

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

kernel/syz2.cc

@@ -88 +88 @@
   while ((l>0) && ((syzstr->resPairs[index])[l-1].lcm==NULL)) l--;
   rr = l-1;
-  while ((rr>=0) && (((syzstr->resPairs[index])[rr].p==NULL) || 
+  while ((rr>=0) && (((syzstr->resPairs[index])[rr].p==NULL) ||
         ((syzstr->resPairs[index])[rr].order>actdeg))) rr--;
-  r2 = rr+1; 
+  r2 = rr+1;
   while ((rr>=0) && ((syzstr->resPairs[index])[rr].order==actdeg)
          && ((syzstr->resPairs[index])[rr].syzind<0))
@@ -123 +123 @@
           if (tcp!=NULL)
           {
-            while ((tcp!=NULL) && 
+            while ((tcp!=NULL) &&
               ((tcp->first_poly!=i)||(tcp->second_poly!=r1))) tcp = tcp->next;
           }
@@ -134 +134 @@
             j = 0;
             while (j<i)
-            { 
+            {
               if (nP->m[j]!=NULL)
               {
@@ -175 +175 @@
                       while ((ti<l) && (((syzstr->resPairs[index])[ti].ind1!=j)||
                              ((syzstr->resPairs[index])[ti].ind2!=i))) ti++;
-                      if (ti<l) 
+                      if (ti<l)
                       {
 #ifdef SHOW_SPRFL
@@ -571 +571 @@
   while (kk>=0)
   {
-    if (toGo==0) 
+    if (toGo==0)
     {
       while (kk>=0)
@@ -617 +617 @@
         q = kBucketGetLm(syzstr->bucket);
         j = 0;
-        while (j<kres) 
+        while (j<kres)
         {
-          if ((redset[j].p!=NULL) && (pLmDivisibleBy(redset[j].p,q)) 
+          if ((redset[j].p!=NULL) && (pLmDivisibleBy(redset[j].p,q))
               && ((redset[j].ind1!=tso.ind1) || (redset[j].ind2!=tso.ind2)))
           {
@@ -761 +761 @@
       i = 0;
       delete spl1;
-      spl1 = ivStrip(spl2); 
+      spl1 = ivStrip(spl2);
       delete spl2;
       if (spl1!=NULL)
@@ -768 +768 @@
         kk = (*spl1)[i]-1;
       }
-    } 
+    }
 #endif
 #ifdef USE_HEURISTIC2
@@ -918 +918 @@
   for (i=1;i<=syzstr->length;i++)
   {
-    if (!idIs0(syzstr->orderedRes[i])) 
+    if (!idIs0(syzstr->orderedRes[i]))
     {
       toreor = syzstr->orderedRes[i];
@@ -931 +931 @@
         toreor->m[j] = NULL;
       }
-      m = 0; 
+      m = 0;
       for (j=0;j<togo;j++)
       {
@@ -952 +952 @@
 
 /*2
-* the CoCoA-algorithm for free resolutions, using a formula 
+* the CoCoA-algorithm for free resolutions, using a formula
 * for remaining pairs based on Hilbert-functions
 */
@@ -972 +972 @@
     return syzstr;
   }
-  
+
   // Creare dp,S ring and change to it
   syzstr->syRing = rAssure_dp_C(origR);
@@ -1087 +1087 @@
   kBucketDestroy(&(syzstr->bucket));
   kBucketDestroy(&(syzstr->syz_bucket));
-  if (origR != syzstr->syRing)  
+  if (origR != syzstr->syRing)
     rChangeCurrRing(origR);
   else