Changeset a13cae in git for kernel/gr_kstd2.cc

Timestamp:

Jul 27, 2008, 12:21:59 PM (15 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

37d43ec78deb09e94d2b41b08283e6fe466687d7

Parents:

e4df0ba39c30b0d3f0f545e4cf34a78b4b74fbea

Message:

*hannes: OPT_DEBUG fuor ratGB


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

File:

• kernel/gr_kstd2.cc (modified) (5 diffs)

kernel/gr_kstd2.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: gr_kstd2.cc,v 1.15 2008-07-26 18:11:42 Singular Exp $ */
+/* $Id: gr_kstd2.cc,v 1.16 2008-07-27 10:21:59 Singular Exp $ */
 /*
 *  ABSTRACT -  Kernel: noncomm. alg. of Buchberger
@@ -229 +229 @@
         }
         //poly hh = nc_CreateSpoly(strat->S[c_j],(*h).p, currRing);
-        poly hh=c_p; c_p=NULL;
-        pDelete(&((*h).p));
-        (*h).p=hh;
+        poly hh=c_p; c_p=NULL;
+        pDelete(&((*h).p));
+        (*h).p=hh;
         if (!TEST_OPT_INTSTRATEGY)
         {
@@ -254 +254 @@
         /*- try to reduce the s-polynomial again -*/
         pass++;
-        j=0;
+        j=0;
       }
       else
@@ -265 +265 @@
     {
       int a_e=(pTotaldegree(strat->S[j],currRing)-pFDeg(strat->S[j],currRing));
-      if (TEST_OPT_DEBUG) { Print("j=%d, e=%d\n",j,a_e); }
+      if(TEST_OPT_DEBUG)
+      {
+        p_wrp(h->p,currRing); Print(" divisibly by S[%d]=",j);
+        p_wrp(strat->S[j],currRing); Print(" e0%d\n",a_e);
+      }
       if ((c_e==-1)||(c_e>a_e))
       {
         c_e=a_e; c_j=j;
-        pDelete(&c_p);
+        pDelete(&c_p);
         c_p = nc_CreateSpoly(pCopy(strat->S[c_j]),pCopy((*h).p), currRing);
       }
       else if (c_e == a_e)
       {
-         poly cc_pp= nc_CreateSpoly(pCopy(strat->S[j]),pCopy((*h).p), currRing);
-         if (((cc_pp==NULL)&&(c_p!=NULL)) || (pCmp(cc_pp,c_p)==-1))
+         poly cc_pp= nc_CreateSpoly(pCopy(strat->S[j]),pCopy((*h).p), currRing);
+         if (((cc_pp==NULL)&&(c_p!=NULL)) || (pCmp(cc_pp,c_p)==-1))
          {
-           assume(pTotaldegree(cc_pp)<=pTotaldegree(c_p));
+           assume(pTotaldegree(cc_pp)<=pTotaldegree(c_p));
            c_e=a_e; c_j=j;
-           pDelete(&c_p);
+           pDelete(&c_p);
            c_p = cc_pp;
-         }
+         }
       }
       /*computes the ecart*/
@@ -295 +299 @@
     else
     {
-      if (TEST_OPT_DEBUG) PrintS("-\n");
+      if(TEST_OPT_DEBUG)
+      {
+        p_wrp(h->p,currRing); Print(" not divisibly by S[%d]=",j);
+        p_wrp(strat->S[j],currRing); PrintLn();
+      }
     }
     j++;