Changeset 0c15dc in git

Timestamp:

Dec 5, 2013, 10:56:19 PM (9 years ago)

Author:

Christian Eder

Branches:

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

Children:

cda0b04282903cc2bac5f3b79cb72d0319602785

Parents:

32f7e530b009b9be87dcd0c95aa89d1d022cf1a8

git-author:

Christian Eder <ederc@mathematik.uni-kl.de>2013-12-05 22:56:19+01:00

git-committer:

Christian Eder <ederc@mathematik.uni-kl.de>2013-12-12 13:51:29+01:00

Message:

adds syzygy in sba if during short s-poly generation p=0

File:

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

kernel/kutil.cc

@@ -1965 +1965 @@
   {
     if (Lp.lcm!=NULL) pLmFree(Lp.lcm);
+    int pos = posInSyz(strat, Lp.sig);
+    enterSyz(Lp, strat, pos);
   }
   else
@@ -1991 +1993 @@
       Lp.prod_crit = TRUE; // Product Criterion
 #if 0
-      int pos = posInSyz(Lp.sig);
-      enterSyz(Lp, strat,pos);
+      int pos = posInSyz(strat, Lp.sig);
+      enterSyz(Lp, strat, pos);
       Lp.lcm=NULL;
       pDelete (&m1);