Changeset 73a5d1 in git

Timestamp:

Jul 28, 1998, 5:24:07 PM (26 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

e2cd14964ca37fef7cd7dbd1e105f85067f4f1b7

Parents:

e6de21967288df61f015c8067d2e3e86c1c779a7

Message:

*hannes: fixes form degBound in ds case


git-svn-id: file:///usr/local/Singular/svn/trunk@2384 2c84dea3-7e68-4137-9b89-c4e89433aadc

Location:

Singular

Files:

• ffields.cc (modified) (2 diffs)
• kstd1.cc (modified) (2 diffs)
• kutil.cc (modified) (4 diffs)

Singular/ffields.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: ffields.cc,v 1.14 1998-06-04 17:17:24 Singular Exp $ */
+/* $Id: ffields.cc,v 1.15 1998-07-28 15:24:05 Singular Exp $ */
 /*
 * ABSTRACT: finite fields with a none-prime number of elements (via tables)
@@ -309 +309 @@
   nfTest(a);
 #endif
+  if (0 == (int)a) return FALSE;
   return nfM1 == (int)a;
 }

Singular/kstd1.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: kstd1.cc,v 1.25 1998-06-29 13:14:29 pohl Exp $ */
+/* $Id: kstd1.cc,v 1.26 1998-07-28 15:24:06 Singular Exp $ */
 /*
 * ABSTRACT:
@@ -1451 +1451 @@
 #endif
     if (TEST_OPT_DEGBOUND
-    && (strat->L[strat->Ll].ecart+pFDeg(strat->L[strat->Ll].p)> Kstd1_deg))
+    && (/*strat->L[strat->Ll].ecart+*/
+        pFDeg(strat->L[strat->Ll].p)> Kstd1_deg))
     {
       /*
       * stops computation if
       * - 24 (degBound)
-      *   && upper degree is bigger than Kstd1_deg
+      *   && degree is bigger than Kstd1_deg
       */
-      while (strat->Ll >= 0) deleteInL(strat->L,&strat->Ll,strat->Ll,strat);
-      break;
+      do
+      {
+        deleteInL(strat->L,&strat->Ll,strat->Ll,strat);
+        if (TEST_OPT_PROT)
+        {
+          PrintS("D"); mflush();
+        }
+      }
+      while ((strat->Ll >= 0)
+        && (pFDeg(strat->L[strat->Ll].p)> Kstd1_deg));
+      if (strat->Ll<0) break;
     }
     strat->P = strat->L[strat->Ll];/*- picks the last element from the lazyset L -*/

Singular/kutil.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: kutil.cc,v 1.24 1998-07-23 09:07:00 Singular Exp $ */
+/* $Id: kutil.cc,v 1.25 1998-07-28 15:24:07 Singular Exp $ */
 /*
 * ABSTRACT: kernel: utils for kStd
@@ -2641 +2641 @@
         }
         if (TEST_OPT_DEGBOUND
-        && (((strat->honey) && (h.ecart+pFDeg(h.p)>Kstd1_deg))
-          || ((!(strat->honey)) && (pFDeg(h.p)>Kstd1_deg))))
+        && (pFDeg(h.p)>Kstd1_deg))
+        //&& (((strat->honey) && (/*h.ecart+*/pFDeg(h.p)>Kstd1_deg))
+        //  || ((!(strat->honey)) && (pFDeg(h.p)>Kstd1_deg))))
           pDelete(&h.p);
         else
@@ -2777 +2778 @@
         }
         if (TEST_OPT_DEGBOUND
-        && (((strat->honey) && (h.ecart+pFDeg(h.p)>Kstd1_deg))
-          || ((!(strat->honey)) && (pFDeg(h.p)>Kstd1_deg))))
+        && (pFDeg(h.p)>Kstd1_deg))
+        //&& (((strat->honey) && (/*h.ecart+*/pFDeg(h.p)>Kstd1_deg))
+        //  || ((!(strat->honey)) && (pFDeg(h.p)>Kstd1_deg))))
           pDelete(&h.p);
         else
@@ -2884 +2886 @@
       }
       if (TEST_OPT_DEGBOUND
-      && (((strat->honey) && (h.ecart+pFDeg(h.p)>Kstd1_deg))
-        || ((!(strat->honey)) && (pFDeg(h.p)>Kstd1_deg))))
+      && (pFDeg(h.p)>Kstd1_deg))
+      //&& (((strat->honey) && (h.ecart+pFDeg(h.p)>Kstd1_deg))
+      //  || ((!(strat->honey)) && (pFDeg(h.p)>Kstd1_deg))))
         pDelete(&h.p);
       else