Changeset 9866fc in git for kernel/kutil.cc

Timestamp:

Jul 23, 2007, 12:50:02 PM (17 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

9870019aa6443f84c0f191537798b699dea0a7b5

Parents:

78b904c6080f8b523545e5a4a1b9d12db23607d4

Message:

*hannes: NF2: lazy normalize


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

File:

• kernel/kutil.cc (modified) (7 diffs)

kernel/kutil.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: kutil.cc,v 1.62 2007-07-13 14:19:26 Singular Exp $ */
+/* $Id: kutil.cc,v 1.63 2007-07-23 10:46:57 Singular Exp $ */
 /*
 * ABSTRACT: kernel: utils for kStd
@@ -2530 +2530 @@
   idSkipZeroes(G0);
   return G0;
-}   
+}
 #endif
 
@@ -4267 +4267 @@
         if (With == NULL) break;
       }
+      if ((!TEST_OPT_INTSTRATEGY) && (!nIsOne(pGetCoeff(With->p))))
+      {
+        With->pNorm();
+        //if (TEST_OPT_PROT) { PrintS("n"); mflush(); }
+      }
       strat->redTailChange=TRUE;
       if (ksReducePolyTail(L, With, &Ln))
       {
         // reducing the tail would violate the exp bound
-        //  set a flag and hope for a retry (in bba)
-        strat->completeReduce_retry=TRUE;
+        //  set a flag and hope for a retry (in bba)
+        strat->completeReduce_retry=TRUE;
         do
         {
@@ -4279 +4284 @@
           L->pLength++;
         } while (!Ln.IsNull());
-        goto all_done;
+        goto all_done;
       }
       if (Ln.IsNull()) goto all_done;
@@ -4494 +4499 @@
   }
   /*- test, if a unit is in F -*/
-  if ((strat->sl>=0) 
+  if ((strat->sl>=0)
 #ifdef HAVE_RINGS
        && !rField_is_Ring(currRing)
@@ -5477 +5482 @@
   strat->fromT = FALSE;
   strat->noTailReduction = !TEST_OPT_REDTAIL;
-  if (!TEST_OPT_SB_1) 
+  if (!TEST_OPT_SB_1)
   {
     updateS(TRUE,strat);
@@ -6370 +6375 @@
           enterOnePair(j,h,ecart,isFromQ,strat, atR);
         }
-        /* HERE we put (h, s*h) pairs */
+        /* HERE we put (h, s*h) pairs */
       }
     }