Changeset 5313c0 in git

Timestamp:

Nov 12, 2013, 11:49:12 AM (9 years ago)

Author:

Christian Eder

Branches:

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

Children:

b3e94aa7397457378c5b5253b4ba1d89eab89f32

Parents:

3625cb42e25e9d0191d3fd9b7e27a7cc1750d398

git-author:

Christian Eder <ederc@mathematik.uni-kl.de>2013-11-12 11:49:12+01:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2013-11-15 14:58:01+01:00

Message:

enables tracking of product criterion in sba algorithm

Location:

kernel

Files:

• kutil.cc (modified) (4 diffs)
• kutil.h (modified) (1 diff)

kernel/kutil.cc

@@ -1821 +1821 @@
   sSigMultNegSev = ~p_GetShortExpVector(sSigMult,currRing);
 
-  pDelete (&m1);
-  pDelete (&m2);
-
 //#if 1
 #ifdef DEBUGF5
@@ -1843 +1840 @@
     pLmFree(Lp.lcm);
     Lp.lcm=NULL;
+    pDelete (&m1);
+    pDelete (&m2);
     return;
   }
@@ -1868 +1867 @@
     pLmFree(Lp.lcm);
     Lp.lcm=NULL;
+    pDelete (&m1);
+    pDelete (&m2);
     return;
   }
@@ -1889 +1890 @@
     Lp.sevSig = ~sSigMultNegSev;
   }
+// adds buchberger's first criterion
+  if (pLmCmp(m2,pHead(p)) == 0) {
+    Lp.checked  = 3; // 3 == Product Criterion
+#if 0
+    enterSyz(Lp, strat);
+    Lp.lcm=NULL;
+    pDelete (&m1);
+    pDelete (&m2);
+    return;
+#endif
+  }
+  pDelete (&m1);
+  pDelete (&m2);
 #if DEBUGF5
   printf("SIGNATURE OF PAIR:  ");

kernel/kutil.h

@@ -188 +188 @@
                       // reduction process it is enough to start a second
                       // rewritten criterion check from checked+1 onwards
+                      // NOTE: If checked = 3 then the corresponding pair is
+                      // detected by Buchberger's Product Criterion and can be
+                      // deleted
   poly  p1,p2; /*- the pair p comes from,
                  lm(pi) in currRing, tail(pi) in tailring -*/